mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 6bdb41 | patch | commitdiff
matthew_swift
04.39.2009 1dbc95cf5f3f48b37e4efd12a89a62c5b17de2c5
refs
author matthew_swift <matthew_swift@localhost>
Friday, December 4, 2009 11:39 +0100
committer matthew_swift <matthew_swift@localhost>
Friday, December 4, 2009 11:39 +0100
commit1dbc95cf5f3f48b37e4efd12a89a62c5b17de2c5
tree e3752bdd5bbeb7a64cf89448b36b0e5cae455683 tree | zip | gz
parent 6bdb4191e4280a29225529e3ab2d4aedf8329813 view | diff 
Set script name for tools.
2 files modified
4 ■■■■■ changed files
opendj-sdk/sdk/resource/bin/_script-util.bat 2 ●●●●● diff | view | raw | blame | history
opendj-sdk/sdk/resource/bin/_script-util.sh 2 ●●●●● diff | view | raw | blame | history