diff options
| author | Michael Williamson <mike@zwobble.org> | 2026-06-26 16:25:34 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2026-06-26 16:25:34 +0100 |
| commit | 9c2421d317068021c64a42be9f785e5ec73afd43 (patch) | |
| tree | e5284a4ffa6a65117c3c84458fe1560ec0a713f5 /makefile | |
| parent | 7e632842ecdc2a3b72b3e5f0b575166c6c5e8b4b (diff) | |
Treat variant as subtype of sum
Diffstat (limited to 'makefile')
0 files changed, 0 insertions, 0 deletions