Merge pull request #258 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 19 Sep 2017 10:31:05 +0000 (12:31 +0200)
committerGitHub <noreply@github.com>
Tue, 19 Sep 2017 10:31:05 +0000 (12:31 +0200)
commit1bd864109ca0c4142f3017afcd32ed5ee13274eb
tree3d4ede8d7d187412a50fc4ef74f09ebb5e34d1b1
parent228ca73fa3fbecf3b6001d608abc33a086fed6dd
parent43cc12d80a5ed5462007e7d0d4f1505ae9989b08
Merge pull request #258 from mpeuster/master

Jenkins: Push to public Docker registry