Merge pull request #162 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 18 Aug 2016 14:34:16 +0000 (16:34 +0200)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 18 Aug 2016 14:34:16 +0000 (16:34 +0200)
Improved Vagrant setup


No differences found