diff options
| author | stuebinm | 2021-03-09 01:23:23 +0100 |
|---|---|---|
| committer | stuebinm | 2021-05-17 20:12:50 +0200 |
| commit | b0f98a43381486995b99ed79e0eabb3af149dbf3 (patch) | |
| tree | dd199965ebc5b6037bf77bc34fd80b9ac8f8935d /public/plugin/highlight | |
| parent | 8b374d8c1972db2b09126e8f9cc10384552abf29 (diff) | |
Add simple support for cindyjscindy
Notably, the error output (in case of compiler errors) is generated
by overwriting the builtin console.error-function, which is a horrible
idea for many reasons, but there isn't really any other way right now.
Diffstat (limited to 'public/plugin/highlight')
0 files changed, 0 insertions, 0 deletions