Merge branch '13753-favorites-view' of git.curoverse.com:arvados-workbench2 into...
[arvados-workbench2.git] / src / views /
drwxr-xr-x   ..
drwxr-xr-x - favorite-panel
drwxr-xr-x - project-panel
drwxr-xr-x - workbench