mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 7b1acc | patch | commitdiff
jvergara
17.40.2007 0b2a87c9379cf69d80b7825bd21de494b3856817
refs
author jvergara <jvergara@localhost>
Friday, August 17, 2007 18:40 +0200
committer jvergara <jvergara@localhost>
Friday, August 17, 2007 18:40 +0200
commit0b2a87c9379cf69d80b7825bd21de494b3856817
tree 36ba6416627993fd70b33be47088d9a23bd642bb tree | zip | gz
parent 7b1accf860f2bef7979492491d0883b9b6455f20 view | diff 
Fix for issue  2123.  We were calling the wrong launcher in the batch file.
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/resource/uninstall-gui.bat 2 ●●●●● diff | view | raw | blame | history