diff options
| author | Chimrod <> | 2023-09-28 18:52:29 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-09-29 10:00:21 +0200 |
| commit | 71bdfc566bd50323695842a1c78007e1daac0e61 (patch) | |
| tree | ae729cf88703c4053da24836aa7c533369f9b687 /bin/qsp_parser.ml | |
| parent | 93355b06a8270f02d345bdbe7b6a8c1bea9789bb (diff) | |
Added a way to discard the content until the end of the location — recover after an error
Diffstat (limited to 'bin/qsp_parser.ml')
0 files changed, 0 insertions, 0 deletions