mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 0dc478 | patch | commitdiff
maximthomas
25.37.2022 9128e949215ab4e480e910ab188c8602441366e1
refs
author maximthomas <maxim.thomas@gmail.com>
Monday, April 25, 2022 11:37 +0200
committer maximthomas <maxim.thomas@gmail.com>
Monday, April 25, 2022 11:37 +0200
commit9128e949215ab4e480e910ab188c8602441366e1
tree f8fe212eeb4aeabee8cbf5eec620610775ca8560 tree | zip | gz
parent 0dc4780ef5cb381f5794d03766426fc2a789e723 view | diff 
add docker stop command
1 files modified
7 ■■■■■ changed files
.github/workflows/build.yml 7 ●●●●● diff | view | raw | blame | history