diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-15 20:06:01 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-15 20:06:01 +0200 |
| commit | 3c02044761366fe474c7bf8cb5ba7307960c788c (patch) | |
| tree | 9a894b324bc75ab6734a264961b2b16f9effd272 /js/codemirror/panel.js | |
| parent | 6bb35042ef6fb19d9af5ee874de9da2816cbc5d7 (diff) | |
Prolog handler now uses CodeQ terminal.
Diffstat (limited to 'js/codemirror/panel.js')
0 files changed, 0 insertions, 0 deletions