tree 46c4a18bf39f66dc0e6033da0401b5a0fe9b5ffc
parent 0b99adec8c7d1fc494f3b4c79a378f03f40b259b
parent 075b46a5e2770ad880ad0dd69434a964eb3056fa
author peusterm <manuel.peuster@uni-paderborn.de> 1469031071 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1469031071 +0200

Merge pull request #147 from mpeuster/master

Dummy GK API