| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| cdesc-Util.ri | File | 700 B | 0644 | Edit | Rename | Chmod | Delete |
| correct_for_windows_path-c.ri | File | 423 B | 0644 | Edit | Rename | Chmod | Delete |
| glob_files_in_dir-c.ri | File | 424 B | 0644 | Edit | Rename | Chmod | Delete |
| gunzip-c.ri | File | 323 B | 0644 | Edit | Rename | Chmod | Delete |
| gzip-c.ri | File | 317 B | 0644 | Edit | Rename | Chmod | Delete |
| inflate-c.ri | File | 312 B | 0644 | Edit | Rename | Chmod | Delete |
| popen-c.ri | File | 321 B | 0644 | Edit | Rename | Chmod | Delete |
| silent_system-c.ri | File | 337 B | 0644 | Edit | Rename | Chmod | Delete |
| traverse_parents-c.ri | File | 350 B | 0644 | Edit | Rename | Chmod | Delete |