| name | type | size | perms | modified | actions |
|---|---|---|---|---|---|
| [parent directory] | |||||
| filtdef | file | 437 B | 0644 | 2026-06-03 00:00:00 | edit |
| filtinf | file | 468 B | 0644 | 2026-06-03 00:00:00 | edit |
| gzcat | file | 489 B | 0644 | 2026-06-03 00:00:00 | edit |
| gzgrep | file | 457 B | 0644 | 2026-06-03 00:00:00 | edit |
| gzstream | file | 313 B | 0644 | 2026-06-03 00:00:00 | edit |