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