mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: db115b | patch | commitdiff
ctissot
18.59.2008 6a8569adff1f2420858068a3a9ce38dbcb48451b
refs
author ctissot <ctissot@localhost>
Tuesday, November 18, 2008 10:59 +0100
committer ctissot <ctissot@localhost>
Tuesday, November 18, 2008 10:59 +0100
commit6a8569adff1f2420858068a3a9ce38dbcb48451b
tree 30abbde64fc2e79356d20a8cb60375b9a463022e tree | zip | gz
parent db115b8dfe0f45d6886b38e9035992ddafd54445 view | diff 
Fix issue 3607
1 files modified
4 ■■■■■ changed files
opends/resource/bin/_script-util.sh 4 ●●●●● diff | view | raw | blame | history