Merge pull request #114 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 9 Jun 2016 01:48:42 +0000 (10:48 +0900)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 9 Jun 2016 01:48:42 +0000 (10:48 +0900)
commit2ddea652655c654d69a8f8aff835555520776fb9
tree9f24295cf5b0498c5def3fc912fa0bf55042229b
parented24382c871ee60f605bf93ba842e653730de0b0
parentcdda1f60f9ebdb1fbee10082d5bb36417910ecd9
Merge pull request #114 from mpeuster/master

Improved Vagrant file