mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: a50f58 | patch | commitdiff
hajma
25.27.2008 3f1b96234bcf13b76cce207109039cf8217a73be
refs
author hajma <hajma@localhost>
Tuesday, November 25, 2008 15:27 +0100
committer hajma <hajma@localhost>
Tuesday, November 25, 2008 15:27 +0100
commit3f1b96234bcf13b76cce207109039cf8217a73be
tree eb707e1e50ca619cd5b8ece7bc8895b0a55edee3 tree | zip | gz
parent a50f580e789be427d5ba4a1f3a2a8eef84dfcefd view | diff 
fix typo at tools.properties (issue #3573)
1 files modified
4 ■■■■■ changed files
opendj-sdk/opends/src/messages/messages/tools.properties 4 ●●●●● diff | view | raw | blame | history