diff options
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 . |