ghc-Glob/.gitignore