summaryrefslogtreecommitdiff
path: root/js/codemirror/show-hint.js
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-10-12 21:18:17 +0200
committerTimotej Lazar <timotej.lazar@fri.uni-lj.si>2015-10-12 21:18:17 +0200
commitd82ad6356586e74f41869647d57157993a3d6161 (patch)
tree87023e979d675cff9330923a5b1155e24eee3e71 /js/codemirror/show-hint.js
parent7f6ee31e2c41e005f44910ca0e8044bd75cc8eff (diff)
Rename lang setting to gui_lang and store it in codeq.settings
Diffstat (limited to 'js/codemirror/show-hint.js')
0 files changed, 0 insertions, 0 deletions