Merge pull request #233 from mpeuster/demo-mano-integration
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 19 Jun 2017 13:19:35 +0000 (15:19 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 19 Jun 2017 13:19:35 +0000 (15:19 +0200)
commit4e37abbc1a06ffa40ed11c7c6a16c1fe95403161
tree1ccda532ba26317c21057a8ad33c4bd378f752a2
parentdcc79542278d7f4ff4ba1beac95bb9789efd2a0b
parentc9abfbec5b0e0ae589c8ad66426e207fbe2385b1
Merge pull request #233 from mpeuster/demo-mano-integration

Demo mano integration