diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-17 13:32:54 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-17 13:32:54 +0100 |
| commit | 91c7b7015e6646fb61bdc77731a6468493a2e27c (patch) | |
| tree | e93c7b9376f5c9c2206b98fc539417aa1d691835 /js/codemirror/prolog.js | |
| parent | 1aed4f117c015ac21c5001e897ae01528a49df38 (diff) | |
Keep page title on state transitions
Diffstat (limited to 'js/codemirror/prolog.js')
0 files changed, 0 insertions, 0 deletions