Merge pull request #67 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 25 Mar 2016 12:04:01 +0000 (13:04 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 25 Mar 2016 12:04:01 +0000 (13:04 +0100)
Better RM test case. Imporved other tests.


Trivial merge