diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-09-05 16:10:19 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-09-05 16:10:19 +0200 |
| commit | e07efd58188abc7283884af348dbcb9786824a8b (patch) | |
| tree | c090229d9834818f0d2550675f560c610949d550 /git@git.thomasvoss.com:pinocchio | |
| parent | 0ef367f61d437c1820ce067197b25ae088678d05 (diff) | |
Don’t parse if a lexing error occurs
Diffstat (limited to 'git@git.thomasvoss.com:pinocchio')
0 files changed, 0 insertions, 0 deletions