diff options
| author | gingerBill <bill@gingerbill.org> | 2023-09-26 12:35:24 +0100 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2023-09-26 12:35:24 +0100 |
| commit | 9911b132d2993ade7120906ff93a326429c440f5 (patch) | |
| tree | f9b3a7e6fa6cc2bb80f5c4eaaf83ac2f2ee00a5e /src/check_type.cpp | |
| parent | 534e5978d882626bc2c0a8d53305f50bdd618de7 (diff) | |
Fix #2818 (enforce `#partial label: switch`)
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions