mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8d6501 | patch | commitdiff
jvergara
07.45.2009 a79f29edb4ba85fc4d89671940caa70b5b3b327e
refs
author jvergara <jvergara@localhost>
Tuesday, April 7, 2009 11:45 +0200
committer jvergara <jvergara@localhost>
Tuesday, April 7, 2009 11:45 +0200
commita79f29edb4ba85fc4d89671940caa70b5b3b327e
tree 9a48a66764d0a5b945325c8a067f3e5115bd0130 tree | zip | gz
parent 8d6501ea01dce87aaf3900b99fcca29b2bfb6082 view | diff 
Fix for issue 3194 (hardcoded letters for menu options in ManageTasks.java)
2 files modified
23 ■■■■■ changed files
opends/src/messages/messages/tools.properties 11 ●●●●● diff | view | raw | blame | history
opends/src/server/org/opends/server/tools/ManageTasks.java 12 ●●●●● diff | view | raw | blame | history