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)
commit79570f1a3e27b9d4f66c9a6b04a2af99a2164d52
treeffb4ce434e85a3de7f45722af24657f487586411
parent5373ea6bc34b414e74168e48e5fa823d3893ce78
parentfe9508362174b30b45be9e372c9441539c3b9b95
Merge pull request #162 from mpeuster/master

Improved Vagrant setup