18702: consolidate upgrade instructions in one place; move the
[arvados.git] / tools / arvbox / lib / arvbox / docker / service / workbench /
drwxr-xr-x   ..
drwxr-xr-x - log
-rwxr-xr-x 789 run
-rwxr-xr-x 1223 run-service