Are you sure you want to delete the file underscore.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| ajax-loader.gif | 673 bytes | 0644 | |
| basic.css | 6932 bytes | 0644 | |
| comment-bright.png | 3500 bytes | 0644 | |
| comment-close.png | 3578 bytes | 0644 | |
| comment.png | 3445 bytes | 0644 | |
| copybutton.js | 2457 bytes | 0644 | |
| default.css | 4124 bytes | 0644 | |
| doctools.js | 6840 bytes | 0644 | |
| down-pressed.png | 368 bytes | 0644 | |
| down.png | 363 bytes | 0644 | |
| file.png | 392 bytes | 0644 | |
| jquery.js | 72174 bytes | 0644 | |
| minus.png | 199 bytes | 0644 | |
| opensearch.xml | 569 bytes | 0644 | |
| plus.png | 199 bytes | 0644 | |
| py.png | 695 bytes | 0644 | |
| pygments.css | 3932 bytes | 0644 | |
| searchtools.js | 16043 bytes | 0644 | |
| sidebar.js | 4740 bytes | 0644 | |
| underscore.js | 8574 bytes | 0644 | |
| up-pressed.png | 372 bytes | 0644 | |
| up.png | 363 bytes | 0644 | |
| version_switch.js | 1800 bytes | 0644 | |
| websupport.js | 25246 bytes | 0644 |
