Are you sure you want to delete the file document_toc.rdoc?
| Name | Size | Permission | Action |
|---|---|---|---|
| child_toc.rdoc | 548 bytes | 0644 | |
| document_toc.rdoc | 1844 bytes | 0644 | |
| element_toc.rdoc | 4366 bytes | 0644 | |
| master_toc.rdoc | 13511 bytes | 0644 | |
| node_toc.rdoc | 808 bytes | 0644 | |
| parent_toc.rdoc | 1670 bytes | 0644 |