cleaned up Vagrant installation
authorpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 9 Mar 2017 14:38:51 +0000 (15:38 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Thu, 9 Mar 2017 14:38:51 +0000 (15:38 +0100)
commitc5109adfdca8571e99d90f7b1a72afab1cdd26a5
tree47c7d8760def201eae633f99907a05d63187458a
parent07e8a120672ecf1844a76be6eca3c911c67e119b
cleaned up Vagrant installation
Vagrantfile