mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: b93b96 | patch | commitdiff
vharseko
05.47.2019 1ccb5088e8ed94b9d39cb6d90b5b7769d2a7a9bb
refs
author vharseko <vharseko@openam.org.ru>
Monday, August 5, 2019 23:47 +0200
committer vharseko <vharseko@openam.org.ru>
Monday, August 5, 2019 23:47 +0200
commit1ccb5088e8ed94b9d39cb6d90b5b7769d2a7a9bb
tree aa0aa5325d52ab9b5ef5937a587df89a136a04e6 tree | zip | gz
parent b93b96803fbcc0646076dd7e4a6814b8730f6bd1 view | diff
1c74bc88eaad263e9bd20f4ae950a672951c5487 view | diff 
Merge branch 'master' of https://github.com/OpenIdentityPlatform/OpenDJ.git
1 files modified
2 ■■■■■ changed files
opendj-server-legacy/resource/bin/_script-util.sh 2 ●●●●● diff | view | raw | blame | history