Merge pull request #252 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 11 Sep 2017 06:44:51 +0000 (08:44 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 11 Sep 2017 06:44:51 +0000 (08:44 +0200)
commita707644e9f92deecff1aefde27d70cc9e5fcb719
tree53e9a5139dd423f8746ad4ae16979a6963b703e2
parent2acd2a5f3f623ce6cd98ac2b5d78784ee6f39eed
parent541f55014d1cffe4b938b3b65961d0efa23a6e1c
Merge pull request #252 from mpeuster/master

Be more verbose in CI jobs.