Jin c85a8ecc7d remove libraries and fix js code color problem

2024-08-15 20:48:14 +02:00

..

codemirror.js

upgrade code mirror to 5.65.15 and fix modes requiring multiplex or overlay, fixes #4279

2023-09-28 01:02:27 +02:00