Merge pull request #69 from wtaverni/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 25 Mar 2016 16:03:39 +0000 (17:03 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Fri, 25 Mar 2016 16:03:39 +0000 (17:03 +0100)
commit070c71210dbbe6e8a79d4387cf17d64a1f3ac83d
tree588586e30a21a8c304c9b03dde4781b82474c395
parent07bc6add985ec7c20bc3b0ac83030e5522dae07a
parentb8d9ecb3e6fc0c477794259b96f76a2ed7049cd5
Merge pull request #69 from wtaverni/master

Minor change to dummygatekeeper.py to make it Python 3 compliant (bra…