tree 47c7d8760def201eae633f99907a05d63187458a
parent 07e8a120672ecf1844a76be6eca3c911c67e119b
parent c5109adfdca8571e99d90f7b1a72afab1cdd26a5
author peusterm <manuel.peuster@uni-paderborn.de> 1489591246 +0100
committer peusterm <manuel.peuster@uni-paderborn.de> 1489591246 +0100

Merge pull request #203 from mpeuster/master

cleaned up Vagrant installation