Are you sure you want to delete the file system-i.ri?
| Name | Size | Permission | Action |
|---|---|---|---|
| cdesc-NotationDecl.ri | 542 bytes | 0644 | |
| name-i.ri | 414 bytes | 0644 | |
| new-c.ri | 269 bytes | 0644 | |
| public-i.ri | 248 bytes | 0644 | |
| system-i.ri | 248 bytes | 0644 | |
| to_s-i.ri | 248 bytes | 0644 | |
| write-i.ri | 269 bytes | 0644 |