diff options
| -rw-r--r-- | libraries/integer-gmp/.gitignore | 25 |
1 files changed, 13 insertions, 12 deletions
diff --git a/libraries/integer-gmp/.gitignore b/libraries/integer-gmp/.gitignore index 48e9d5ebfb..295f5b267a 100644 --- a/libraries/integer-gmp/.gitignore +++ b/libraries/integer-gmp/.gitignore @@ -1,12 +1,13 @@ -GNUmakefile -autom4te.cache/ -config.log -config.status -configure -dist-install/ -^/ghc.mk -gmp/config.mk -integer-gmp.buildinfo -cbits/GmpDerivedConstants.h -cbits/mkGmpDerivedConstants -include/HsIntegerGmp.h +/autom4te.cache/ +/cbits/GmpDerivedConstants.h +/cbits/mkGmpDerivedConstants +/config.log +/config.status +/configure +/dist-install/ +/ghc.mk +/gmp/config.mk +/GNUmakefile +/include/HsIntegerGmp.h +/integer-gmp.buildinfo +/mkGmpDerivedConstants/dist/ |