mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 7a40ec | patch | commitdiff
jvergara
20.35.2008 15ed359e4a8503ecc0620d28c702e589430a77ee
refs
author jvergara <jvergara@localhost>
Thursday, March 20, 2008 19:35 +0100
committer jvergara <jvergara@localhost>
Thursday, March 20, 2008 19:35 +0100
commit15ed359e4a8503ecc0620d28c702e589430a77ee
tree 61a0f820e9c8a7d932af5dc9d5a6887a620bde73 tree | zip | gz
parent 7a40ec7d77a238d0f136b59444ee8c6b1b782502 view | diff 
Use shorter command names for displaying equivalent non-interactive command.
1 files modified
4 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/tools/ToolConstants.java 4 ●●●●● diff | view | raw | blame | history