mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 7eaa75 | patch | commitdiff
jvergara
26.23.2009 3cfb6321be1abffcde2fefdfc87a23670c2a279f
refs
author jvergara <jvergara@localhost>
Thursday, November 26, 2009 16:23 +0100
committer jvergara <jvergara@localhost>
Thursday, November 26, 2009 16:23 +0100
commit3cfb6321be1abffcde2fefdfc87a23670c2a279f
tree 1e45ec169b6d3af6824a2c74c50a5ba6342c8261 tree | zip | gz
parent 7eaa7570dcac3c076380d3ad71bcb7f3ebfc0202 view | diff 
Fix a problem with the generation of the equivalent command-line.
1 files modified
25 ■■■■■ changed files
opendj-sdk/opends/src/guitools/org/opends/guitools/controlpanel/ui/IndexPanel.java 25 ●●●●● diff | view | raw | blame | history