tree 46c4a18bf39f66dc0e6033da0401b5a0fe9b5ffc
parent 6b5224d7f2f9c52802b37d5454ac02a8fe2c6634
author peusterm <manuel.peuster@uni-paderborn.de> 1469027280 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1469027280 +0200

fine tuning of dummy gk api