Are you sure you want to delete the file copybutton.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| basic.css | 14667 bytes | 0644 | |
| caret-down.svg | 245 bytes | 0644 | |
| changelog_search.js | 1895 bytes | 0644 | |
| classic.css | 4406 bytes | 0644 | |
| copybutton.js | 2868 bytes | 0644 | |
| default.css | 28 bytes | 0644 | |
| doctools.js | 9630 bytes | 0644 | |
| documentation_options.js | 357 bytes | 0644 | |
| file.png | 286 bytes | 0644 | |
| glossary.json | 142454 bytes | 0644 | |
| jquery.js | 288550 bytes | 0644 | |
| language_data.js | 10854 bytes | 0644 | |
| menu.js | 2132 bytes | 0644 | |
| minus.png | 90 bytes | 0644 | |
| opensearch.xml | 539 bytes | 0644 | |
| plus.png | 90 bytes | 0644 | |
| py.png | 668 bytes | 0644 | |
| py.svg | 2041 bytes | 0644 | |
| pydoctheme.css | 10634 bytes | 0644 | |
| pygments.css | 4819 bytes | 0644 | |
| searchtools.js | 16950 bytes | 0644 | |
| sidebar.js | 4353 bytes | 0644 | |
| underscore.js | 68398 bytes | 0644 |
