Don't minify codemirror.js (#5173)

This commit is contained in:
Simon Huber
2020-12-01 20:55:22 +00:00
committed by GitHub
parent 4079f72310
commit c3055f92a9
File diff suppressed because one or more lines are too long