Fix dst18-vagrantfile to download the box by itself
[pub/jan/dst18.git] / ass1-doc / src / main / java /
2018-03-11 Thomas RauschAdd template for assignment 1