tree 51e8c5a6d485d8b2f7c329600e1ab74c24cd55e6
parent 9e975accc9959605fe980f1f5a5bb4996f5746c0
parent c177a0dc88df921571803bf6fb74c93f63452dc1
author peusterm <manuel.peuster@uni-paderborn.de> 1500559026 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1500559026 +0200

Merge pull request #240 from mpeuster/master

Fix: Broken external dependecy.