Are you sure you want to delete the file doctools.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| basic.css | 12112 bytes | 0644 | |
| changelog.css | 97 bytes | 0644 | |
| docs.css | 7082 bytes | 0644 | |
| doctools.js | 9270 bytes | 0644 | |
| documentation_options.js | 309 bytes | 0644 | |
| file.png | 286 bytes | 0644 | |
| jquery-3.2.1.js | 268039 bytes | 0644 | |
| jquery.js | 86659 bytes | 0644 | |
| language_data.js | 10847 bytes | 0644 | |
| minus.png | 90 bytes | 0644 | |
| plus.png | 90 bytes | 0644 | |
| pygments.css | 4395 bytes | 0644 | |
| searchtools.js | 15987 bytes | 0644 | |
| sphinx_paramlinks.css | 89 bytes | 0644 | |
| underscore-1.3.1.js | 35168 bytes | 0644 | |
| underscore.js | 12140 bytes | 0644 |
