mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 2e2410 | patch | commitdiff
jvergara
20.35.2008 35053a4c75d6eb7ed024a56191c86ccbc03a2e21
refs
author jvergara <jvergara@localhost>
Thursday, March 20, 2008 19:35 +0100
committer jvergara <jvergara@localhost>
Thursday, March 20, 2008 19:35 +0100
commit35053a4c75d6eb7ed024a56191c86ccbc03a2e21
tree dbb272721b53ffd879526e932433de4d0f78a3fa tree | zip | gz
parent 2e2410712c7a0cbc20122f05c728e4f07dd1fdda view | diff 
Use shorter command names for displaying equivalent non-interactive command.
1 files modified
4 ■■■■■ changed files
opends/src/server/org/opends/server/tools/ToolConstants.java 4 ●●●●● diff | view | raw | blame | history