Merge pull request #99 from stevenvanrossem/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 11 May 2016 14:16:46 +0000 (16:16 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 11 May 2016 14:16:46 +0000 (16:16 +0200)
commit5ddd8f817f58c12d52ae1601cc4483f46f28fa06
treed5726f17f0b854de5cf01f6c77bdc48d25cbae75
parent7408542a62711664395fcc15582d277d186daa86
parentd87fe47d76dd906a8e9ec2f2dbbcaa7ddc4bbdcb
Merge pull request #99 from stevenvanrossem/master

update dummygatekeeper with chaining commands