Merge pull request #257 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 18 Sep 2017 18:49:45 +0000 (20:49 +0200)
committerGitHub <noreply@github.com>
Mon, 18 Sep 2017 18:49:45 +0000 (20:49 +0200)
commit228ca73fa3fbecf3b6001d608abc33a086fed6dd
tree811b705d77bf285075d62b1746d3c52b69d5774e
parent1b3a002f8fd7cdaa860c24622e5ec6b3629b545a
parentba066900d1b149550336139a42c505d75122e371
Merge pull request #257 from mpeuster/master

Changed build badge to new Jenkins job