| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| filtdef | File | 437 B | 0644 | Edit | Rename | Chmod | Delete |
| filtinf | File | 468 B | 0644 | Edit | Rename | Chmod | Delete |
| gzcat | File | 489 B | 0644 | Edit | Rename | Chmod | Delete |
| gzgrep | File | 457 B | 0644 | Edit | Rename | Chmod | Delete |
| gzstream | File | 313 B | 0644 | Edit | Rename | Chmod | Delete |