15672: Removes filter panel & makes pagination choices bigger.
[arvados.git] / src / views-components / repository-remove-dialog /
drwxr-xr-x   ..
-rw-r--r-- 805 repository-remove-dialog.ts