mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: e95bc9 | patch | commitdiff
dugan
03.02.2008 98b064cc2b5792578baf0a392e2f814cecc423d7
refs
author dugan <dugan@localhost>
Thursday, January 3, 2008 20:02 +0100
committer dugan <dugan@localhost>
Thursday, January 3, 2008 20:02 +0100
commit98b064cc2b5792578baf0a392e2f814cecc423d7
tree 7aeb33c2bf529c0ae0aecdf4b2b4cdf554d71b17 tree | zip | gz
parent e95bc9423fe1de8ce5d83901d5b1fe8e69752ab2 view | diff 
Fix typo.
1 files modified
2 ■■■■■ changed files
opends/src/server/org/opends/server/tools/JavaPropertiesTool.java 2 ●●●●● diff | view | raw | blame | history