| commit | 7edb8710e8a52ffb8eafd6d6b183347c84f74a69 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Mon Aug 22 08:59:58 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Mon Aug 22 08:59:58 2016 +0200 |
| tree | 7ccd6620788787fd62b23185f8e50986de266fba | |
| parent | c13e49dda2949b468c3f15bc4008361783fd0014 [diff] | |
| parent | 6efa9137f3fb89ac42351b0fd3cc76042b4059b0 [diff] |
Merge pull request #164 from mpeuster/master Fixes and Vagrant improvements