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)
Improved Vagrant file


Trivial merge