7824: Merge branch 'master' into 7824-arvls-arvput-collection-api-usage
[arvados.git] / docker / migrate-docker19 /
drwxr-xr-x   ..
-rw-r--r-- 1388 Dockerfile
-rwxr-xr-x 58 build.sh
-rwxr-xr-x 3412 dnd.sh
-rwxr-xr-x 1084 migrate.sh