Are you sure you want to delete the file env-i.ri?
| Name | Size | Permission | Action |
|---|---|---|---|
| add_header-i.ri | 666 bytes | 0644 | |
| cdesc-Env.ri | 628 bytes | 0644 | |
| delete_header-i.ri | 341 bytes | 0644 | |
| each_header-i.ri | 361 bytes | 0644 | |
| env-i.ri | 308 bytes | 0644 | |
| fetch_header-i.ri | 399 bytes | 0644 | |
| get_header-i.ri | 332 bytes | 0644 | |
| has_header%3f-i.ri | 380 bytes | 0644 | |
| initialize_copy-i.ri | 265 bytes | 0644 | |
| new-c.ri | 240 bytes | 0644 | |
| set_header-i.ri | 341 bytes | 0644 |