Merge pull request #164 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 22 Aug 2016 06:59:58 +0000 (08:59 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Mon, 22 Aug 2016 06:59:58 +0000 (08:59 +0200)
commit7edb8710e8a52ffb8eafd6d6b183347c84f74a69
tree7ccd6620788787fd62b23185f8e50986de266fba
parentc13e49dda2949b468c3f15bc4008361783fd0014
parent6efa9137f3fb89ac42351b0fd3cc76042b4059b0
Merge pull request #164 from mpeuster/master

Fixes and Vagrant improvements