diff options
| author | Lukas Wirth <[email protected]> | 2020-12-20 19:13:06 +0000 |
|---|---|---|
| committer | Lukas Wirth <[email protected]> | 2020-12-20 19:13:06 +0000 |
| commit | 33ecad4407e1345cd662f535c2ae7a04e4bee52b (patch) | |
| tree | edd613981e78ac6b9f4ea23b511cb2922d79c67f /docs/dev | |
| parent | a5874a38cb1bbaee685ff92a40b66f9d5bcf34f6 (diff) | |
Create non-exhaustive patterns for non_exhaustive attributed items
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions