mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 5a1bcb | patch | commitdiff
jvergara
26.23.2009 37d7f8c33478c0dca2ccc3d1f4c9c3a354d1dcaa
refs
author jvergara <jvergara@localhost>
Thursday, November 26, 2009 16:23 +0100
committer jvergara <jvergara@localhost>
Thursday, November 26, 2009 16:23 +0100
commit37d7f8c33478c0dca2ccc3d1f4c9c3a354d1dcaa
tree 336111d9ac29ab6e098834b9895ad41751fc9798 tree | zip | gz
parent 5a1bcbb722127c086abe4c562b0f308fa530f337 view | diff 
Fix a problem with the generation of the equivalent command-line.
1 files modified
25 ■■■■■ changed files
opends/src/guitools/org/opends/guitools/controlpanel/ui/IndexPanel.java 25 ●●●●● diff | view | raw | blame | history