diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-06 07:19:48 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-06 07:20:06 +0200 |
| commit | 92da08078a5459ca1089743eb58385e752bdb5fa (patch) | |
| tree | e1c63ba933610dbee41182c547a4a1f04d95723b /tools/Scanner/Xml/Parser.lean | |
| parent | 578b90344c4e9be44955d4c4779f452c0b8dc036 (diff) | |
fix generic new_ids
Diffstat (limited to 'tools/Scanner/Xml/Parser.lean')
0 files changed, 0 insertions, 0 deletions