fine tuning of dummy gk api
authorpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 20 Jul 2016 15:08:00 +0000 (17:08 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 20 Jul 2016 15:08:00 +0000 (17:08 +0200)
commit075b46a5e2770ad880ad0dd69434a964eb3056fa
tree46c4a18bf39f66dc0e6033da0401b5a0fe9b5ffc
parent6b5224d7f2f9c52802b37d5454ac02a8fe2c6634
fine tuning of dummy gk api
src/emuvim/api/sonata/dummygatekeeper.py