]> git.somenet.org - pub/jan/aic18.git/commit
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)
commit08e34a5eeeee0268255bde822672be20515666ae
tree8de3c5ba5fc5d9d543a34c5b357d7ed08cc0e5c5
parent3a7d94e355371652f3ccdc2d213df584bbb6c4ee
parent84a096d8cccf935b370dd647054a716bbc49f0bc
Merge branch 'vagrant-provisioning' into 'master'

Make provision script do some cleanup.

See merge request aic18/G6T4!6