diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000000000000000000000000000000000000..eb788a2d13785648faf9e76d654c628f85a38220 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +# Specific generated files +GNUmakefile +dist-install/ +ghc.mk