diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-12 21:18:17 +0200 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-12 21:18:17 +0200 |
| commit | d82ad6356586e74f41869647d57157993a3d6161 (patch) | |
| tree | 87023e979d675cff9330923a5b1155e24eee3e71 /js/codemirror | |
| parent | 7f6ee31e2c41e005f44910ca0e8044bd75cc8eff (diff) | |
Rename lang setting to gui_lang and store it in codeq.settings
Diffstat (limited to 'js/codemirror')
0 files changed, 0 insertions, 0 deletions