Are you sure you want to delete the file codemirror.min.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| codemirror.css | 8722 bytes | 0644 | |
| codemirror.js | 398123 bytes | 0644 | |
| codemirror.min.js | 167917 bytes | 0644 |
Are you sure you want to delete the file codemirror.min.js?
| Name | Size | Permission | Action |
|---|---|---|---|
| codemirror.css | 8722 bytes | 0644 | |
| codemirror.js | 398123 bytes | 0644 | |
| codemirror.min.js | 167917 bytes | 0644 |