mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 742576 | patch | commitdiff
matthew_swift
30.46.2007 5746e04ca99fcb8efa8a3dea642ee1c90d207e4e
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
commit5746e04ca99fcb8efa8a3dea642ee1c90d207e4e
tree fcf9805f1d7020d001b17211b9e8b70f5b40cee0 tree | zip | gz
parent 742576640efa3350bb5433816e0cff2b6dab6281 view | diff 
Use the new TextTablePrinter#setIndentWidth(int) method for menu indentation.
1 files modified
19 ■■■■■ changed files
opends/src/server/org/opends/server/util/cli/MenuBuilder.java 19 ●●●●● diff | view | raw | blame | history