SomeNet / public repos / pub / jan / aic18.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: f97f1c2 7603b16)
Merge branch 'vagrant-provisioning' into 'master'
authorAstra <david.kaufmann@student.tuwien.ac.at>
Mon, 5 Nov 2018 13:32:17 +0000 (14:32 +0100)
committerAstra <david.kaufmann@student.tuwien.ac.at>
Mon, 5 Nov 2018 13:32:17 +0000 (14:32 +0100)
Vagrant provisioning - switch to debian stable

Closes #7

See merge request aic18/G6T4!5


Trivial merge