Are you sure you want to delete the file doctools.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| css3-mediaqueries.js | 14940 bytes | 0644 | |
| doctools.js | 9630 bytes | 0644 | |
| jquery.js | 288550 bytes | 0644 | |
| language_data.js | 10854 bytes | 0644 | |
| searchtools.js | 16950 bytes | 0644 | |
| sidebar.js | 4803 bytes | 0644 | |
| theme_extras.js | 504 bytes | 0644 | |
| underscore.js | 68398 bytes | 0644 |