| commit | 7782d710d44d7eed9622ef1c9dbed7f3c53335ff | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Wed Mar 15 16:20:46 2017 +0100 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Wed Mar 15 16:20:46 2017 +0100 |
| tree | 47c7d8760def201eae633f99907a05d63187458a | |
| parent | 07e8a120672ecf1844a76be6eca3c911c67e119b [diff] | |
| parent | c5109adfdca8571e99d90f7b1a72afab1cdd26a5 [diff] |
Merge pull request #203 from mpeuster/master cleaned up Vagrant installation