Merge pull request #129 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 4 Jul 2016 08:08:16 +0000 (10:08 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 4 Jul 2016 08:08:16 +0000 (10:08 +0200)
made REST API compatible with dummy gatekeeper to use them in the sam…


Trivial merge