| commit | 7e59663091c1b8c69bfff0e3f6a58fe37bf03545 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu Feb 09 12:15:19 2017 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu Feb 09 12:15:19 2017 +0100 |
| tree | a2443f350f620dbbc9308291d2cddc648913a764 | |
| parent | 92eccf5a7378aa76b258d17234f64fcabb24ceb0 [diff] | |
| parent | ec5cefe7cfb3fd411087704794212d29f843b44d [diff] |
Merge pull request #197 from mpeuster/master Fix: Made dummy GK compatible to son-access. Closes #195