diff options
| author | mhsanaei <ho3ein.sanaei@gmail.com> | 2024-04-17 16:56:33 +0300 |
|---|---|---|
| committer | mhsanaei <ho3ein.sanaei@gmail.com> | 2024-04-17 17:28:54 +0300 |
| commit | 2708c816a833af37041b1b95e5979c8cbc9b01a5 (patch) | |
| tree | 8fc7c07f96ec5ad629202518aff415db75b0b8d2 /web/assets/codemirror/codemirror.js | |
| parent | 18cc3d5158f2f3c443d90c1552763049837178aa (diff) | |
rename
Diffstat (limited to 'web/assets/codemirror/codemirror.js')
| -rw-r--r-- | web/assets/codemirror/codemirror.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/assets/codemirror/codemirror.js b/web/assets/codemirror/codemirror.js index a3cd26c1..acd7eac7 100644 --- a/web/assets/codemirror/codemirror.js +++ b/web/assets/codemirror/codemirror.js @@ -3,7 +3,7 @@ // This is CodeMirror (https://codemirror.net/5), a code editor // implemented in JavaScript on top of the browser's DOM. -// +// CodeMirror v5.65.15 // You can find some technical background for some of the code below // at http://marijnhaverbeke.nl/blog/#cm-internals . |