diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-10-08 19:01:10 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-10-08 19:01:10 +0200 |
| commit | 084e0806bc5aff00fc697cb51dee7b4a331e4b64 (patch) | |
| tree | b1df59c0ac4e8b2a13eb59a14d50f14137c324e0 /js/codemirror/prolog.js | |
| parent | 70b73f8e36900ab5b0784684fccc4069af1bae96 (diff) | |
Adapted to the reworked session handling on the server. Bugfixed the lang setting handling.
Diffstat (limited to 'js/codemirror/prolog.js')
0 files changed, 0 insertions, 0 deletions