diff options
Diffstat (limited to 'libraries')
| -rw-r--r-- | libraries/integer-gmp/.gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libraries/integer-gmp/.gitignore b/libraries/integer-gmp/.gitignore index 295f5b267a..4e7da368da 100644 --- a/libraries/integer-gmp/.gitignore +++ b/libraries/integer-gmp/.gitignore @@ -11,3 +11,6 @@ /include/HsIntegerGmp.h /integer-gmp.buildinfo /mkGmpDerivedConstants/dist/ + +/gmp/gmp.h +/gmp/gmpbuild |