mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 048bc0 | patch | commitdiff
matthew_swift
30.46.2007 eb5a2f89ed832469b1afceab3d5211f26d30b0b0
refs
author matthew_swift <matthew_swift@localhost>
Thursday, August 30, 2007 15:46 +0200
committer matthew_swift <matthew_swift@localhost>
Thursday, August 30, 2007 15:46 +0200
commiteb5a2f89ed832469b1afceab3d5211f26d30b0b0
tree 281c4c602fd7ac7e4c96685306e7ca45c94fe198 tree | zip | gz
parent 048bc0d4e3d40725260857daa337eeae67596b85 view | diff 
Use the new TextTablePrinter#setIndentWidth(int) method for menu indentation.
1 files modified
19 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/util/cli/MenuBuilder.java 19 ●●●●● diff | view | raw | blame | history