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 /.gitignore | |
parent | 0ef367f61d437c1820ce067197b25ae088678d05 (diff) |
Don’t parse if a lexing error occurs
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions