Are you sure you want to delete the file pop-i.ri?
| Name | Size | Permission | Action |
|---|---|---|---|
| %3c%3c-i.ri | 233 bytes | 0644 | |
| cdesc-Queue.ri | 1554 bytes | 0644 | |
| clear-i.ri | 295 bytes | 0644 | |
| close-i.ri | 1307 bytes | 0644 | |
| closed%3f-i.ri | 316 bytes | 0644 | |
| deq-i.ri | 237 bytes | 0644 | |
| empty%3f-i.ri | 312 bytes | 0644 | |
| enq-i.ri | 235 bytes | 0644 | |
| length-i.ri | 340 bytes | 0644 | |
| new-c.ri | 286 bytes | 0644 | |
| num_waiting-i.ri | 323 bytes | 0644 | |
| pop-i.ri | 646 bytes | 0644 | |
| push-i.ri | 394 bytes | 0644 | |
| shift-i.ri | 241 bytes | 0644 | |
| size-i.ri | 237 bytes | 0644 |