]> git.arvados.org - arvados-workbench2.git/tree - src/store/group-details-panel/
projects / arvados-workbench2.git / tree
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
Merge branch '15951-filter-ui-polish'. Closes #15951
[arvados-workbench2.git] / src / store / group-details-panel /
drwxr-xr-x   ..
-rw-r--r-- 5108 group-details-panel-actions.ts blob | history | raw
-rw-r--r-- 2843 group-details-panel-middleware-service.ts blob | history | raw