Some minor fixes
authorpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 19 Sep 2017 10:21:55 +0000 (12:21 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Tue, 19 Sep 2017 10:21:55 +0000 (12:21 +0200)
commit43cc12d80a5ed5462007e7d0d4f1505ae9989b08
tree3d4ede8d7d187412a50fc4ef74f09ebb5e34d1b1
parent51389acff7cc3db4797b9aa0f0a633afee4c6b9a
Some minor fixes

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