mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 0aba60 | patch | commitdiff
jvergara
07.48.2009 758cb0854c15b20502666e38d42cec8d6b1eb4e1
refs
author jvergara <jvergara@localhost>
Thursday, May 7, 2009 01:48 +0200
committer jvergara <jvergara@localhost>
Thursday, May 7, 2009 01:48 +0200
commit758cb0854c15b20502666e38d42cec8d6b1eb4e1
tree 3e575ddfd244d24facdd297d3f8e8ebf27691170 tree | zip | gz
parent 0aba60bbdb852fbd2376a361b1432382176feace view | diff 
Remove unused line from the script.
1 files modified
1 ■■■■■ changed files
opendj-sdk/opends/resource/bin/_script-util.bat 1 ●●●●● diff | view | raw | blame | history