Are you sure you want to delete the file cdesc-AddEdgeNoCircular.ri?
| Name | Size | Permission | Action |
|---|---|---|---|
| action_name-c.ri | 437 bytes | 0644 | |
| cdesc-AddEdgeNoCircular.ri | 978 bytes | 0644 | |
| delete_first-i.ri | 388 bytes | 0644 | |
| destination-i.ri | 499 bytes | 0644 | |
| down-i.ri | 420 bytes | 0644 | |
| make_edge-i.ri | 524 bytes | 0644 | |
| new-c.ri | 702 bytes | 0644 | |
| origin-i.ri | 484 bytes | 0644 | |
| requirement-i.ri | 500 bytes | 0644 | |
| up-i.ri | 414 bytes | 0644 |