Merge pull request #160 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 18 Aug 2016 07:28:19 +0000 (09:28 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 18 Aug 2016 07:28:19 +0000 (09:28 +0200)
commit5373ea6bc34b414e74168e48e5fa823d3893ce78
tree0dc8754da57e9f0a54bf32848e5ffac1863b5af8
parente951c093b8a4234fd534fecb1766ac1751d66d07
parent3bb86bfa4fe6f529e27ac35a9550d9afcb3eb4ba
Merge pull request #160 from mpeuster/master

Cleanup and bugfixes