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