| commit | 075b46a5e2770ad880ad0dd69434a964eb3056fa | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Wed Jul 20 17:08:00 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Wed Jul 20 17:08:00 2016 +0200 |
| tree | 46c4a18bf39f66dc0e6033da0401b5a0fe9b5ffc | |
| parent | 6b5224d7f2f9c52802b37d5454ac02a8fe2c6634 [diff] |
fine tuning of dummy gk api