diff options
author | Aleš Smodiš <aless@guru.si> | 2015-12-15 16:58:13 +0100 |
---|---|---|
committer | Aleš Smodiš <aless@guru.si> | 2015-12-15 16:58:13 +0100 |
commit | 2f1982456f85b156e152864b4d327c46a0adc4fe (patch) | |
tree | c5697ebd47d51e8b6880e69afae9f934f770fa0e /css/fonts/KaTeX_Main-Bold.woff2 | |
parent | 6d879afe4c423de9bdac9eeb6a8d3f8aa4526378 (diff) |
Implement codeq.comms.forceReset() to better handle possible timeouts and resulting blockage in codeq.reset().
Diffstat (limited to 'css/fonts/KaTeX_Main-Bold.woff2')
0 files changed, 0 insertions, 0 deletions