Are you sure you want to delete the file jsonlint.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| codemirror.min.css | 15899 bytes | 0644 | |
| codemirror.min.js | 585414 bytes | 0644 | |
| csslint.js | 377627 bytes | 0644 | |
| esprima.js | 283149 bytes | 0644 | |
| fakejshint.js | 1002 bytes | 0644 | |
| htmlhint-kses.js | 984 bytes | 0644 | |
| htmlhint.js | 17735 bytes | 0644 | |
| jsonlint.js | 16189 bytes | 0644 |