Merge branch 'crunch-dispatch-docker-bin-env' of https://github.com/wtsi-hgi/arvados...
[arvados.git] / apps / workbench / public / webshell / enabled.gif
apps/workbench/public/webshell/enabled.gif