Jermolene 97ae0cd4f0 Remove CodeMirror plugin from default client-server editions ... Fixes #1716		2015-05-12 12:52:37 +01:00
..
tiddlywiki.info	Remove CodeMirror plugin from default client-server editions	2015-05-12 12:52:37 +01:00