mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 17beea | patch | commitdiff
jvergara
05.35.2007 7d46350910a2c2c5192098e377d2eb6ae6f1b387
refs
author jvergara <jvergara@localhost>
Wednesday, December 5, 2007 10:35 +0100
committer jvergara <jvergara@localhost>
Wednesday, December 5, 2007 10:35 +0100
commit7d46350910a2c2c5192098e377d2eb6ae6f1b387
tree 5c06fc8db5a094ea519154c4599eddb80642992d tree | zip | gz
parent 17beeae33bb7d73dee3f1a4f9bdf18e5645717d7 view | diff 
Remove invalid comments on the tools.properties file.
1 files modified
5 ■■■■■ changed files
opends/resource/config/tools.properties 5 ●●●●● diff | view | raw | blame | history