| commit | 4e37abbc1a06ffa40ed11c7c6a16c1fe95403161 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Jun 19 15:19:35 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Jun 19 15:19:35 2017 +0200 |
| tree | 1ccda532ba26317c21057a8ad33c4bd378f752a2 | |
| parent | dcc79542278d7f4ff4ba1beac95bb9789efd2a0b [diff] | |
| parent | c9abfbec5b0e0ae589c8ad66426e207fbe2385b1 [diff] |
Merge pull request #233 from mpeuster/demo-mano-integration Demo mano integration