Fix ghc warnings

This commit is contained in:
2024-12-14 11:49:14 +01:00
parent 7cc43b607d
commit b0303fa23d
14 changed files with 51 additions and 36 deletions

2
.gitignore vendored
View File

@ -1 +1,3 @@
*.txt
*.hi
*.o