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)
commit622ef4c82d196d34e7cfafb76de65149e73af23a
tree8cba1697889fc3a3bbeca368a62da858fe008596
parenta2a1ca80a47ccac410cc8750f3e3bd942f820afa
parent81d2d51c71445f24270551666b8bf379ce082d17
Merge pull request #86 from mpeuster/master

Fixes