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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions