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 /src/git@git.thomasvoss.com:pinocchio | |
parent | fc11711f5b9c5a5c62d21a692c284a0b0c3c51c9 (diff) |
Remove unused lexer rule
Diffstat (limited to 'src/git@git.thomasvoss.com:pinocchio')
0 files changed, 0 insertions, 0 deletions