| commit | 2ddea652655c654d69a8f8aff835555520776fb9 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu Jun 09 10:48:42 2016 +0900 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu Jun 09 10:48:42 2016 +0900 |
| tree | 9f24295cf5b0498c5def3fc912fa0bf55042229b | |
| parent | ed24382c871ee60f605bf93ba842e653730de0b0 [diff] | |
| parent | cdda1f60f9ebdb1fbee10082d5bb36417910ecd9 [diff] |
Merge pull request #114 from mpeuster/master Improved Vagrant file