mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: c22a7d70 | patch | commit | show whitespace
Chris Ridd
03.51.2012 589a1ef44f9b52d91679b0034cea31507a406b6d 
Revert change
1 files modified
changed files
opendj-sdk/opends/PRODUCT patch | view | raw | blame | history 
 opendj-sdk/opends/PRODUCT