Merge pull request #203 from mpeuster/master
authorpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 15 Mar 2017 15:20:46 +0000 (16:20 +0100)
committerpeusterm <manuel.peuster@uni-paderborn.de>
Wed, 15 Mar 2017 15:20:46 +0000 (16:20 +0100)
commit7782d710d44d7eed9622ef1c9dbed7f3c53335ff
tree47c7d8760def201eae633f99907a05d63187458a
parent07e8a120672ecf1844a76be6eca3c911c67e119b
parentc5109adfdca8571e99d90f7b1a72afab1cdd26a5
Merge pull request #203 from mpeuster/master

cleaned up Vagrant installation