Merge pull request #65 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 23 Mar 2016 21:12:34 +0000 (22:12 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 23 Mar 2016 21:12:34 +0000 (22:12 +0100)
Test suite for dummy GK


Trivial merge