| commit | adfb0169fdf615bd3d43d64f6562a8946c5d7e4d | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Wed Jul 20 18:11:11 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Wed Jul 20 18:11:11 2016 +0200 |
| tree | 46c4a18bf39f66dc0e6033da0401b5a0fe9b5ffc | |
| parent | 0b99adec8c7d1fc494f3b4c79a378f03f40b259b [diff] | |
| parent | 075b46a5e2770ad880ad0dd69434a964eb3056fa [diff] |
Merge pull request #147 from mpeuster/master Dummy GK API