summaryrefslogtreecommitdiff
path: root/js/codeq/problem.js
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-09-30 21:11:52 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-09-30 21:11:52 +0200
commitffa31a965e2121d7dd0eb7a582d2b82bd1204c7a (patch)
treeb5fa6a77f4304e27cf07a62a326e491d1a5cf314 /js/codeq/problem.js
parent23d0fcbd4d152f2cc19a09e2d776e694ca73d42a (diff)
Do not override user options in codeq.makeEditor
Also clean up remains of previous CodeMirror panel support.
Diffstat (limited to 'js/codeq/problem.js')
0 files changed, 0 insertions, 0 deletions