mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 45ce51 | patch | commitdiff
jvergara
17.40.2007 4ed81429ad12b4b926ceebe16b9d05b29a943295
refs
author jvergara <jvergara@localhost>
Friday, August 17, 2007 18:40 +0200
committer jvergara <jvergara@localhost>
Friday, August 17, 2007 18:40 +0200
commit4ed81429ad12b4b926ceebe16b9d05b29a943295
tree d24773b88d4e2495f8ebda024e9a0166266dffe3 tree | zip | gz
parent 45ce51c3a5db743e9ffaf5e8e4fa0db7ad338b61 view | diff 
Fix for issue  2123.  We were calling the wrong launcher in the batch file.
1 files modified
2 ■■■■■ changed files
opends/resource/uninstall-gui.bat 2 ●●●●● diff | view | raw | blame | history