diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-09-12 18:30:31 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-09-12 18:30:31 +0200 |
| commit | f022d3669192f6b81809f325d310a5d2ca449385 (patch) | |
| tree | c68f330628555ee6b7ebe8bfb5f96d17d88294cf /git@git.thomasvoss.com:pinocchio | |
| parent | fc11711f5b9c5a5c62d21a692c284a0b0c3c51c9 (diff) | |
Remove unused lexer rule
Diffstat (limited to 'git@git.thomasvoss.com:pinocchio')
0 files changed, 0 insertions, 0 deletions