diff options
| author | Dawer <[email protected]> | 2021-04-29 07:33:45 +0100 |
|---|---|---|
| committer | Dawer <[email protected]> | 2021-05-31 20:03:45 +0100 |
| commit | f4c396036416eaa977876d8ff4afe7f58f93c09e (patch) | |
| tree | 2030066c0f8e09c47008f86315e2e7a0163cbe61 /.github | |
| parent | f4a95c93fe4c1050b18b3c8be25baddd6972ed84 (diff) | |
List useless patterns in a useful match arm
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions