mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 2e73b6 | patch | commitdiff
matthew_swift
30.50.2007 5244cbf5c2cea70969f2884e64736f5bf1633f91
refs
author matthew_swift <matthew_swift@localhost>
Thursday, August 30, 2007 15:50 +0200
committer matthew_swift <matthew_swift@localhost>
Thursday, August 30, 2007 15:50 +0200
commit5244cbf5c2cea70969f2884e64736f5bf1633f91
tree 8ca108daf124a1e20edfc1a8227ec07670aa5745 tree | zip | gz
parent 2e73b624c94edfa21b44397b5c45d4d4d845422b view | diff 
Use the new TextTablePrinter#setIndentWidth(int) method for table indentation.
1 files modified
9 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/tools/dsconfig/PropertyValueEditor.java 9 ●●●●● diff | view | raw | blame | history