8567: Rename docker19-migrate to migrate-docker19 for consistency with
[arvados.git] / docker / migrate-docker19 /
drwxr-xr-x   ..
-rw-r--r-- 1388 Dockerfile
-rw-r--r-- 840 README
-rwxr-xr-x 58 build.sh
-rwxr-xr-x 3461 dnd.sh
-rwxr-xr-x 595 migrate.sh