diff options
| author | Aleš Smodiš <aless@guru.si> | 2015-09-18 16:41:40 +0200 |
|---|---|---|
| committer | Aleš Smodiš <aless@guru.si> | 2015-09-18 16:41:40 +0200 |
| commit | 45e1dc64a3f36222eb775a00157f587ebdaabd2d (patch) | |
| tree | d0af88b4c8ac688ba4708994c02c72e42a54f9a8 /js/codemirror/panel.js | |
| parent | da92df9761b52f6d24d2241080121cc5bef5e932 (diff) | |
Enable auto-history in prolog console.
Diffstat (limited to 'js/codemirror/panel.js')
0 files changed, 0 insertions, 0 deletions