| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| filtdef | File | 437 B | 0644 | Edit | Rename | Chmod | Delete |
| filtinf | File | 470 B | 0644 | Edit | Rename | Chmod | Delete |
| gzcat | File | 495 B | 0644 | Edit | Rename | Chmod | Delete |
| gzgrep | File | 463 B | 0644 | Edit | Rename | Chmod | Delete |
| gzstream | File | 314 B | 0644 | Edit | Rename | Chmod | Delete |