diff options
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index bb69e916f4..0455251c3a 100644 --- a/.gitignore +++ b/.gitignore @@ -125,7 +125,9 @@ _darcs/ /libraries/doc-index*.html /libraries/frames.html /libraries/ghc-boot/GNUmakefile +/libraries/ghc-boot/ghc-boot.cabal /libraries/ghc-boot/ghc.mk +/libraries/ghci/ghci.cabal /libraries/ghci/ghc.mk /libraries/haddock-util.js /libraries/hslogo-16.png |