| Name | Owner | Permissions |
|---|---|---|
| . | root | drwxr-xr-x |
| .. | root | drwxr-xr-x |
| add_header-i.ri | root | drwxr-xr-x |
| cdesc-Env.ri | root | drwxr-xr-x |
| delete_header-i.ri | root | drwxr-xr-x |
| each_header-i.ri | root | drwxr-xr-x |
| env-i.ri | root | drwxr-xr-x |
| fetch_header-i.ri | root | drwxr-xr-x |
| get_header-i.ri | root | drwxr-xr-x |
| has_header%3f-i.ri | root | drwxr-xr-x |
| initialize_copy-i.ri | root | drwxr-xr-x |
| new-c.ri | root | drwxr-xr-x |
| set_header-i.ri | root | drwxr-xr-x |