tree 903e89786d07494c3065013196920d2a4bed59d5
parent 3b21649946c32a3525175fa4949b0ac0f488ed31
author peusterm <manuel.peuster@uni-paderborn.de> 1462977913 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1462977913 +0200

fixed docker file