tree 588586e30a21a8c304c9b03dde4781b82474c395
parent 07bc6add985ec7c20bc3b0ac83030e5522dae07a
parent b8d9ecb3e6fc0c477794259b96f76a2ed7049cd5
author peusterm <manuel.peuster@uni-paderborn.de> 1458921819 +0100
committer peusterm <manuel.peuster@uni-paderborn.de> 1458921819 +0100

Merge pull request #69 from wtaverni/master

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