| commit | c5109adfdca8571e99d90f7b1a72afab1cdd26a5 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu Mar 09 15:38:51 2017 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu Mar 09 15:38:51 2017 +0100 |
| tree | 47c7d8760def201eae633f99907a05d63187458a | |
| parent | 07e8a120672ecf1844a76be6eca3c911c67e119b [diff] |
cleaned up Vagrant installation