diff options
author | Blaž Hrastnik | 2021-10-17 04:54:47 +0000 |
---|---|---|
committer | Blaž Hrastnik | 2021-10-17 04:54:47 +0000 |
commit | ea59f77a6baa0658b50fed50739e1f8956819395 (patch) | |
tree | 8046b1b1528765fd8e5a82277352e15150af577c /runtime/queries/latex | |
parent | 0a6b60085a56876068bf652c9491c435e9cca229 (diff) |
Port over parsing improvements from the LSP
We need to terminate if we ever read 0 bytes which indicates closed
stream.
Diffstat (limited to 'runtime/queries/latex')
0 files changed, 0 insertions, 0 deletions