Merge pull request #197 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 9 Feb 2017 11:15:19 +0000 (12:15 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 9 Feb 2017 11:15:19 +0000 (12:15 +0100)
commit7e59663091c1b8c69bfff0e3f6a58fe37bf03545
treea2443f350f620dbbc9308291d2cddc648913a764
parent92eccf5a7378aa76b258d17234f64fcabb24ceb0
parentec5cefe7cfb3fd411087704794212d29f843b44d
Merge pull request #197 from mpeuster/master

Fix: Made dummy GK compatible to son-access. Closes #195