globalmaphack: be more general (fmap, factoring, ...)

[mate.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 2b7951a44e1f421ec6eb625c73d27e78fb271dcf..d48b83db78856e970908ac4a43490596346c91fa 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
 mate
 mate.static
 mate.dbg
+mate.prof
 tags
 *.swp
 *_stub.c
@@ -12,3 +13,4 @@ tags
 *.o-boot
 dist
 *.jar
+tools/hs-boehmgc