mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

jdemendi
05.33.2008 deec91db38a3a4129a503144fbcf4e64f1bde87f
refs
author jdemendi <jdemendi@localhost>
Wednesday, November 5, 2008 18:33 +0100
committer jdemendi <jdemendi@localhost>
Wednesday, November 5, 2008 18:33 +0100
commitdeec91db38a3a4129a503144fbcf4e64f1bde87f
tree 82bf1ab4a4cb4c0145fc5bea40ed5f55ff21bf1b tree | zip | gz
parent cd0216f0685188a6a5c6d87aac6003ce68cf2dd2 view | diff
fix trailing white space
1 files modified
2 ■■■ changed files
opends/src/server/org/opends/server/admin/doc/ConfigGuideGeneration.java 2 ●●● diff | view | raw | blame | history