mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: be12f2 | patch | commitdiff
jvergara
20.30.2009 3fb3bbd4bcc82c70e0fbd72b88d4662bdaf5911d
refs
author jvergara <jvergara@localhost>
Friday, February 20, 2009 15:30 +0100
committer jvergara <jvergara@localhost>
Friday, February 20, 2009 15:30 +0100
commit3fb3bbd4bcc82c70e0fbd72b88d4662bdaf5911d
tree b56a93fb79dd7919707e4e2e45b268c1b00a7496 tree | zip | gz
parent be12f22940be8faa7329173f10e6bbebfc315c89 view | diff 
Move messages from tools.properties to admin_tool.properties.
2 files modified
12 ■■■■■ changed files
opendj-sdk/opends/src/messages/messages/admin_tool.properties 6 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/messages/messages/tools.properties 6 ●●●●● diff | view | raw | blame | history