mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8af477 | patch | commitdiff
matthew_swift
30.50.2007 1dd95561419eb85dbdf62df14d4a4d86b05584f2
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
commit1dd95561419eb85dbdf62df14d4a4d86b05584f2
tree 23d410b45ff147f5ca80893699b278b947f2784c tree | zip | gz
parent 8af4770c261b54c3f12bb4e8fe14b6f6b567514b view | diff 
Use the new TextTablePrinter#setIndentWidth(int) method for table indentation.
1 files modified
9 ■■■■■ changed files
opends/src/server/org/opends/server/tools/dsconfig/PropertyValueEditor.java 9 ●●●●● diff | view | raw | blame | history