diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-21 17:45:31 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-21 17:45:31 +0200 |
| commit | cee672f22d516ecc73f84a3dbe01328883a2a47d (patch) | |
| tree | 2f977f01c4619d2e422cbc8b498218cbe9972dc4 /js/codemirror/panel.js | |
| parent | 86b478fc57f6eb8bc1addd07d4feb95c83f6792c (diff) | |
Refactoring: simplified python.js and prolog.js, removed all DOM IDs except for the top-level block #screen_prolog, made a copy of the latter into #screen_python so the two screens can now diverge.
Diffstat (limited to 'js/codemirror/panel.js')
0 files changed, 0 insertions, 0 deletions