diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 59ca1ccc31..b205b2441e 100644 --- a/.gitignore +++ b/.gitignore @@ -153,6 +153,7 @@ _darcs/ /libraries/hslogo-16.png /libraries/index-frames.html /libraries/index.html +/libraries/libiserv/libiserv.cabal /libraries/minus.gif /libraries/ocean.css /libraries/plus.gif @@ -178,6 +179,8 @@ _darcs/ /testsuite_summary*.txt /testsuite*.xml /testlog* +/utils/iserv/iserv.cabal +/utils/iserv-proxy/iserv-proxy.cabal /utils/mkUserGuidePart/mkUserGuidePart.cabal /utils/runghc/runghc.cabal /utils/gen-dll/gen-dll.cabal @@ -215,4 +218,4 @@ GIT_COMMIT_ID ghc.nix/ -.gdb_history
\ No newline at end of file +.gdb_history |