Update .gitignore.
authorPaolo Capriotti <p.capriotti@gmail.com>
Tue, 6 Mar 2012 10:57:34 +0000 (10:57 +0000)
committerPaolo Capriotti <p.capriotti@gmail.com>
Tue, 6 Mar 2012 10:57:34 +0000 (10:57 +0000)
.gitignore [new file with mode: 0644]

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..012224d
--- /dev/null
@@ -0,0 +1,11 @@
+GNUmakefile
+autom4te.cache/
+config.log
+config.status
+configure
+dist-install/
+ghc.mk
+gmp/config.mk
+integer-gmp.buildinfo
+cbits/GmpDerivedConstants.h
+cbits/mkGmpDerivedConstants