Update .gitignore
authorAustin Seipp <austin@well-typed.com>
Fri, 4 Jul 2014 01:35:47 +0000 (20:35 -0500)
committerAustin Seipp <austin@well-typed.com>
Fri, 4 Jul 2014 01:35:57 +0000 (20:35 -0500)
Signed-off-by: Austin Seipp <austin@well-typed.com>
.gitignore

index 99bf3a6..b71afec 100644 (file)
@@ -150,3 +150,6 @@ _darcs/
 
 .tm_properties
 VERSION
+
+/libraries/integer-gmp/gmp/gmp.h
+/libraries/integer-gmp/gmp/gmpbuild/