Are you sure you want to delete the file main_thread-i.ri?
| Name | Size | Permission | Action |
|---|---|---|---|
| cdesc-JobManager.ri | 663 bytes | 0644 | |
| current_job-i.ri | 314 bytes | 0644 | |
| delete-i.ri | 326 bytes | 0644 | |
| insert-i.ri | 337 bytes | 0644 | |
| inspect-i.ri | 356 bytes | 0644 | |
| irb-i.ri | 377 bytes | 0644 | |
| kill-i.ri | 534 bytes | 0644 | |
| main_irb-i.ri | 326 bytes | 0644 | |
| main_thread-i.ri | 327 bytes | 0644 | |
| n_jobs-i.ri | 375 bytes | 0644 | |
| new-c.ri | 314 bytes | 0644 | |
| search-i.ri | 895 bytes | 0644 | |
| switch-i.ri | 607 bytes | 0644 | |
| thread-i.ri | 378 bytes | 0644 |