mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: e2166d | patch | commitdiff
maximthomas
25.49.2022 0dc4780ef5cb381f5794d03766426fc2a789e723
refs
author maximthomas <maxim.thomas@gmail.com>
Monday, April 25, 2022 10:49 +0200
committer maximthomas <maxim.thomas@gmail.com>
Monday, April 25, 2022 10:49 +0200
commit0dc4780ef5cb381f5794d03766426fc2a789e723
tree 5364df188b8a6262fea46f9d52e848477d78c41a tree | zip | gz
parent e2166d9c40c7591ab2d9b2596df84f253762175a view | diff 
add docker stop command
1 files modified
5 ■■■■■ changed files
.github/workflows/build.yml 5 ●●●●● diff | view | raw | blame | history