Merge pull request #86 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 25 Apr 2016 10:11:33 +0000 (12:11 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 25 Apr 2016 10:11:33 +0000 (12:11 +0200)
Fixes


Trivial merge