| Name | Type | Size | Permissions | Modified | Actions |
|---|---|---|---|---|---|
| Parent Directory | |||||
| 📄 Files | |||||
| filtdef | FILE | 437 B | rw-r--r-- | 2026-06-29 05:31 | |
| filtinf | FILE | 468 B | rw-r--r-- | 2026-06-29 05:31 | |
| gzcat | FILE | 489 B | rw-r--r-- | 2026-06-29 05:31 | |
| gzgrep | FILE | 457 B | rw-r--r-- | 2026-06-29 05:31 | |
| gzstream | FILE | 313 B | rw-r--r-- | 2026-06-29 05:31 | |