tree bcb964dee220df718ed3441f3fd85fa14f20f3f1
parent 902ca54a8e61d3f47ba7bc626153ae4cfa44023e
parent 1f29159c384962c6929064fb6b6363984deb531b
author peusterm <manuel.peuster@uni-paderborn.de> 1465394340 +0900
committer peusterm <manuel.peuster@uni-paderborn.de> 1465394340 +0900

Merge pull request #113 from mpeuster/master

Added a first version of a Vagrant file to automatically create a VM to