diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-24 10:19:52 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-24 10:19:52 +0200 |
| commit | 652164680ac0d1b4ace0ae9ec55f69b28740d11a (patch) | |
| tree | 2cc3e36aada8302e4f6e1480c22bbff1747b5183 /js/codemirror/prolog.js | |
| parent | 9f8373a5559da4d0368958f87f495e95d0099cb0 (diff) | |
Reimplemented language selection with simple links. Removed unused startup.js, moved the boot sequence to core.js.
Diffstat (limited to 'js/codemirror/prolog.js')
0 files changed, 0 insertions, 0 deletions