mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 697170 | patch | commitdiff
Fabio Pistolesi
10.02.2015 6ee23b7c8375b1de0a78270f5d4fe03304a83d46
refs
author Fabio Pistolesi <fabio.pistolesi@forgerock.com>
Friday, July 10, 2015 14:02 +0200
committer Fabio Pistolesi <fabio.pistolesi@forgerock.com>
Friday, July 10, 2015 14:02 +0200
commit6ee23b7c8375b1de0a78270f5d4fe03304a83d46
tree 4f184259611e8815d427802d3c23b0f086eebe54 tree | zip | gz
parent 6971701825e1e0d51a5e57ed3c8db6301c5e126c view | diff 
Fix checkstyle error
1 files modified
2 ■■■■■ changed files
opendj-sdk/opendj-server-legacy/src/main/java/org/opends/server/core/DirectoryServer.java 2 ●●●●● diff | view | raw | blame | history