Fix dst18-vagrantfile to download the box by itself
[pub/jan/dst18.git] / ass1-doc / src / main / java /
drwxr-xr-x   ..
drwxr-xr-x - dst