mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: ec52f3 | patch | commitdiff
jvergara
20.30.2009 611c5407965219810267470ae26db1a056b19e4f
refs
author jvergara <jvergara@localhost>
Friday, February 20, 2009 15:30 +0100
committer jvergara <jvergara@localhost>
Friday, February 20, 2009 15:30 +0100
commit611c5407965219810267470ae26db1a056b19e4f
tree 48ffda0111d0d5cecfb316d9dc44af9b3e40e93c tree | zip | gz
parent ec52f330143630a90a09190ee2528ded00320ef1 view | diff 
Move messages from tools.properties to admin_tool.properties.
2 files modified
12 ■■■■■ changed files
opends/src/messages/messages/admin_tool.properties 6 ●●●●● diff | view | raw | blame | history
opends/src/messages/messages/tools.properties 6 ●●●●● diff | view | raw | blame | history