Merge branch '16592-renaming-fix'
[arvados-workbench2.git] / docker /
drwxr-xr-x   ..
-rw-r--r-- 849 Dockerfile