Merge pull request #253 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 14 Sep 2017 06:45:53 +0000 (08:45 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 14 Sep 2017 06:45:53 +0000 (08:45 +0200)
commitb052582351b60cea434b0410b5160437ff56ca78
tree9805b70618012b8861ab8bea72ba3bb8f6a27059
parenta707644e9f92deecff1aefde27d70cc9e5fcb719
parent219a93c957ab49203cf8fdc54a4a4953022a28a9
Merge pull request #253 from mpeuster/master

CI trigger cleanup. CI is now fully Docker-based.