tree 1ccda532ba26317c21057a8ad33c4bd378f752a2
parent dcc79542278d7f4ff4ba1beac95bb9789efd2a0b
parent c9abfbec5b0e0ae589c8ad66426e207fbe2385b1
author peusterm <manuel.peuster@uni-paderborn.de> 1497878375 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1497878375 +0200

Merge pull request #233 from mpeuster/demo-mano-integration

Demo mano integration