Are you sure you want to delete the file codemirror.min.css?
| Name | Size | Permission | Action |
|---|---|---|---|
| codemirror.min.css | 15899 bytes | 0644 | |
| codemirror.min.js | 592620 bytes | 0444 | |
| csslint.js | 384833 bytes | 0444 | |
| htmlhint-kses.js | 8189 bytes | 0444 | |
| htmlhint.js | 24941 bytes | 0444 | |
| jshint.js | 291356 bytes | 0444 | |
| jsonlint.js | 23395 bytes | 0444 |