3686: when a repository is manageable by a user, make repository name a link in manag...
[arvados.git] / apps / workbench / log /
drwxr-xr-x   ..
-rw-r--r-- 0 .gitkeep