diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2018-05-11T10·02+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2018-05-11T10·05+0200 |
| commit | 1ad19232c4bbecb06e6acbb2a3a538544a28e1f2 (patch) | |
| tree | 52ee9c2745698691e031fd249c872f5e04e349f7 /.gitignore | |
| parent | f3c85f9eb395b13790d1fced05665125e2ec81ca (diff) | |
Don't return negative numbers from the flex tokenizer
Fixes #1374. Closes #2129.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions