Merge pull request #133 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 8 Jul 2016 21:42:52 +0000 (23:42 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 8 Jul 2016 21:42:52 +0000 (23:42 +0200)
Preparations for open source release


Trivial merge