diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-06 08:02:39 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-06 08:02:39 +0200 |
| commit | 78907b4340b06c58ec7a31da68e96f398b65e940 (patch) | |
| tree | e27861951746ca087a574a7441e3bd7b61646ddb /tools/Scanner.lean | |
| parent | 92da08078a5459ca1089743eb58385e752bdb5fa (diff) | |
(de-)marshal enums and bitfields
Diffstat (limited to 'tools/Scanner.lean')
0 files changed, 0 insertions, 0 deletions