Jenkins: Push to public Docker registry
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 19 Sep 2017 09:39:53 +0000 (11:39 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 19 Sep 2017 09:39:53 +0000 (11:39 +0200)
commit175a1fc1fc24b3df758d820d2ba8f5eb03ccf4e4
tree23a760fa33a1d6308a9d3f4a87e5a281a1d7e934
parentba066900d1b149550336139a42c505d75122e371
Jenkins: Push to public Docker registry

Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>
Jenkinsfile