Are you sure you want to delete the file pygments.css?
| Name | Size | Permission | Action |
|---|---|---|---|
| basic.css | 13647 bytes | 0754 | |
| classic.css | 4256 bytes | 0754 | |
| default.css | 28 bytes | 0754 | |
| doctools.js | 9416 bytes | 0754 | |
| documentation_options.js | 355 bytes | 0754 | |
| file.png | 286 bytes | 0754 | |
| jquery.js | 287600 bytes | 0754 | |
| language_data.js | 10847 bytes | 0754 | |
| minus.png | 90 bytes | 0754 | |
| plus.png | 90 bytes | 0754 | |
| pygments.css | 4780 bytes | 0754 | |
| searchtools.js | 16323 bytes | 0754 | |
| sidebar.js | 4803 bytes | 0754 | |
| underscore.js | 58881 bytes | 0754 |
