summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2023-03-22 21:47:42 +0100
committerRoman Smrž <roman.smrz@seznam.cz>2023-03-22 21:47:42 +0100
commitea38fdd4614bc8d3c5adf36932b0e5808a4cba67 (patch)
treef78f34bce6539d7ad97d09c03babed0b9be3b8cd /.gitignore
parent1bff4ce6c10c762f846709578d6f036b3e45691f (diff)
Fix non-exhaustive pattern match warnings
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions