diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2023-03-22 21:47:42 +0100 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2023-03-22 21:47:42 +0100 |
| commit | ea38fdd4614bc8d3c5adf36932b0e5808a4cba67 (patch) | |
| tree | f78f34bce6539d7ad97d09c03babed0b9be3b8cd /.gitignore | |
| parent | 1bff4ce6c10c762f846709578d6f036b3e45691f (diff) | |
Fix non-exhaustive pattern match warnings
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions