mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 69717018 | patch | commit | show whitespace
Fabio Pistolesi
10.02.2015 6ee23b7c8375b1de0a78270f5d4fe03304a83d46 
Fix checkstyle error
1 files modified
changed files
opendj-sdk/opendj-server-legacy/src/main/java/org/opends/server/core/DirectoryServer.java patch | view | raw | blame | history 
 opendj-sdk/opendj-server-legacy/src/main/java/org/opends/server/core/DirectoryServer.java