| commit | 79570f1a3e27b9d4f66c9a6b04a2af99a2164d52 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Thu Aug 18 16:34:16 2016 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Thu Aug 18 16:34:16 2016 +0200 |
| tree | ffb4ce434e85a3de7f45722af24657f487586411 | |
| parent | 5373ea6bc34b414e74168e48e5fa823d3893ce78 [diff] | |
| parent | fe9508362174b30b45be9e372c9441539c3b9b95 [diff] |
Merge pull request #162 from mpeuster/master Improved Vagrant setup