From a995df6c23c950a31e3fa3684b9c091be038804c Mon Sep 17 00:00:00 2001
From: Paolo Capriotti <p.capriotti@gmail.com>
Date: Tue, 6 Mar 2012 10:57:34 +0000
Subject: [PATCH] Update .gitignore.

---
 .gitignore | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..012224d
--- /dev/null
+++ b/.gitignore
@@ -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
-- 
GitLab