mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: c63679 | patch | commitdiff
jvergara
05.35.2007 c2adb82078ce7dd9647dc61efc36130cc4f284b0
refs
author jvergara <jvergara@localhost>
Wednesday, December 5, 2007 10:35 +0100
committer jvergara <jvergara@localhost>
Wednesday, December 5, 2007 10:35 +0100
commitc2adb82078ce7dd9647dc61efc36130cc4f284b0
tree 3a06676d168619cd6bfec33c510abe67365aec2e tree | zip | gz
parent c63679832734078879a1d45f16de55cab16b3a96 view | diff 
Remove invalid comments on the tools.properties file.
1 files modified
5 ■■■■■ changed files
opendj-sdk/opends/resource/config/tools.properties 5 ●●●●● diff | view | raw | blame | history