15803: Adjust workbench1 user panel to promote setup/unsetup buttons
[arvados.git] / apps / workbench / script /
drwxr-xr-x   ..
-rwxr-xr-x 295 rails