Simplify settings loading a bit. Remove the things which haven't been working for...
[redakcja.git] / src / redakcja / static / js / lib / codemirror-0.8 /
drwxr-xr-x   ..
-rw-r--r-- 20596 codemirror.js
-rw-r--r-- 56905 editor.js
-rw-r--r-- 8533 parsexml.js
-rw-r--r-- 23632 select.js
-rw-r--r-- 4216 stringstream.js
-rw-r--r-- 2006 tokenize.js
-rw-r--r-- 14390 undo.js
-rw-r--r-- 3491 util.js