Merge branch '1579-keep-server-in-docker' of git.clinicalfuture.com:arvados into...
[arvados.git] / docker / warehouse /
drwxr-xr-x   ..
-rw-r--r-- 423 Dockerfile