Tighter editor layout with icons.
[redakcja.git] / src / redakcja / static / js / lib / codemirror-5.49.0 /
drwxr-xr-x   ..
-rw-r--r-- 8705 codemirror.css
-rw-r--r-- 395695 codemirror.js
-rw-r--r-- 11968 searchcursor.js
-rw-r--r-- 13227 xml.js