mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: aa09ac | patch | commitdiff
matthew_swift
04.39.2009 d22e96ff1c4589969fd3954580e8f76c3b2b7cde
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
commitd22e96ff1c4589969fd3954580e8f76c3b2b7cde
tree dc4c668cb68548d8f40f57e33e2ed793a62d9fcd tree | zip | gz
parent aa09acea1d63383816178c2d4cd9637a8cce9721 view | diff 
Set script name for tools.
2 files modified
4 ■■■■■ changed files
sdk/resource/bin/_script-util.bat 2 ●●●●● diff | view | raw | blame | history
sdk/resource/bin/_script-util.sh 2 ●●●●● diff | view | raw | blame | history