diff options
| author | 2023-06-25 10:34:41 +0200 | |
|---|---|---|
| committer | 2023-06-25 10:34:41 +0200 | |
| commit | b5ddbbd928c447485b8746c44dc9271de0111799 (patch) | |
| tree | 4a869bae20dcfdf674f15e95d59bf458ef7676a8 /op.def | |
| parent | 92c721e086a95c3c053adb9e697c69881a131d5b (diff) | |
lex: use a circular buffer cache for pre-pre-processed chars
Diffstat (limited to 'op.def')
0 files changed, 0 insertions, 0 deletions