diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index cb30cdc6cc..e4e5420faf 100644 --- a/.gitignore +++ b/.gitignore @@ -68,7 +68,6 @@ _darcs/ /driver/ghc/dist/ /driver/haddock/dist/ /driver/ghci/dist/ -/driver/split/dist/ /includes/dist-*/ /libffi/dist-install/ /libraries/*/dist-boot/ |