18700: Default to domain:443 for workbench2 ExternalURL.
[arvados.git] / docker / jobs /
drwxr-xr-x   ..
-rw-r--r-- 1721 1078ECD7.key
-rw-r--r-- 1385 Dockerfile
-rw-r--r-- 68 apt.arvados.org-dev.list
-rw-r--r-- 64 apt.arvados.org-stable.list
-rw-r--r-- 72 apt.arvados.org-testing.list