Merge "docker: ves update paths + rename dir"
[barometer.git] / docker / ves /
drwxr-xr-x   ..
-rw-r--r-- 473 Dockerfile