15672: Removes filter panel & makes pagination choices bigger.
[arvados.git] / src / common /
drwxr-xr-x   ..
-rw-r--r-- 490 app-info.ts
-rw-r--r-- 225 codes.ts
-rw-r--r-- 7115 config.ts
-rw-r--r-- 3911 custom-theme.ts
-rw-r--r-- 450 file.ts
-rw-r--r-- 2610 formatters.ts
-rw-r--r-- 219 getuser.ts
-rw-r--r-- 683 labels.ts
-rw-r--r-- 472 objects.ts
-rw-r--r-- 228 regexp.ts
-rw-r--r-- 369 unionize.ts
-rw-r--r-- 610 url.ts
-rw-r--r-- 5365 webdav.test.ts
-rw-r--r-- 3189 webdav.ts
-rw-r--r-- 330 xml.ts