Merge pull request #237 from mpeuster/demo-mano-integration
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 13 Jul 2017 11:33:00 +0000 (13:33 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 13 Jul 2017 11:33:00 +0000 (13:33 +0200)
commit9e975accc9959605fe980f1f5a5bb4996f5746c0
treea41805c3fae05f64181a9273ffbcc05e76cc13b6
parent21b311f35adb37dc67ff557b4ebf2285e559cb24
parentf8fcdac855e460eceab9e79466bb77640ea9fba1
Merge pull request #237 from mpeuster/demo-mano-integration

Demo mano integration