Merge pull request #240 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 20 Jul 2017 13:57:06 +0000 (15:57 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 20 Jul 2017 13:57:06 +0000 (15:57 +0200)
commit3c475d4f7c96ae42cea25e9318efc7248495dd4a
tree51e8c5a6d485d8b2f7c329600e1ab74c24cd55e6
parent9e975accc9959605fe980f1f5a5bb4996f5746c0
parentc177a0dc88df921571803bf6fb74c93f63452dc1
Merge pull request #240 from mpeuster/master

Fix: Broken external dependecy.