SomeNet / public repos / pub / jan / aic18.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 3a7d94e 84a096d)
Merge branch 'vagrant-provisioning' into 'master'
authorJan Vales (Someone) <jan.vales@tuwien.ac.at>
Tue, 6 Nov 2018 22:22:55 +0000 (23:22 +0100)
committerJan Vales (Someone) <jan.vales@tuwien.ac.at>
Tue, 6 Nov 2018 22:22:55 +0000 (23:22 +0100)
Make provision script do some cleanup.

See merge request aic18/G6T4!6


Trivial merge