diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-01-16 11:46:05 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-01-16 11:46:05 +0100 |
| commit | c300b88af215e6bd8f59dac87cde754f7e4b4cdb (patch) | |
| tree | 3900fc7ef51a896f3305003e0cb04a2a803f68c6 /doc/highlight.pack.js | |
| parent | b31d803c167ada7ab33a1fc59be9ba5bb5dc5981 (diff) | |
remove dead error code
Diffstat (limited to 'doc/highlight.pack.js')
0 files changed, 0 insertions, 0 deletions