| commit | ec5cefe7cfb3fd411087704794212d29f843b44d | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu Feb 09 11:15:14 2017 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu Feb 09 11:15:14 2017 +0100 |
| tree | a2443f350f620dbbc9308291d2cddc648913a764 | |
| parent | 3d15394720b985cb0afb3b847b62aefba4739bd7 [diff] |
Fix: Made dummy GK compatible to son-access. Closes #195