Re-add minified codemirror, without minification bug (#5180)

This commit is contained in:
Simon Huber
2020-12-02 16:55:37 +00:00
committed by GitHub
parent 9871c1a6a9
commit f0eba7fdc6
File diff suppressed because one or more lines are too long