mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: c4d533 | patch | commitdiff
jvergara
07.48.2009 052be5b9c80271df1668049d8c7933f720872dee
refs
author jvergara <jvergara@localhost>
Thursday, May 7, 2009 01:48 +0200
committer jvergara <jvergara@localhost>
Thursday, May 7, 2009 01:48 +0200
commit052be5b9c80271df1668049d8c7933f720872dee
tree 317e191b329b730760996f48cc80d53182975e06 tree | zip | gz
parent c4d533f5baf253f8560026fde7d9294a6f0a2091 view | diff 
Remove unused line from the script.
1 files modified
1 ■■■■■ changed files
opends/resource/bin/_script-util.bat 1 ●●●●● diff | view | raw | blame | history