idris-1.2.0: .gitignore

# Build artefacts
dist
dist-newstyle
*.ibc
*.o
*.a
*.so
*.dll
*.dylib
src/Version_idris.hs

# Doc generation artefacts
libs/base/base_doc/
libs/effects/effects_doc/
libs/prelude/prelude_doc/
libs/contrib/contrib_doc/
libs/pruviloj/pruviloj_doc/
libs/oldeffects/oldeffects_doc/

# Test artefacts
test/output
test/*[0-9][0-9][0-9]/output
test/*[0-9][0-9][0-9]/*.exe
test/runtest.exe
test/runtest
.tasty-rerun-log

# Haskell build tools
cabal-dev/
.cabal-sandbox
cabal.sandbox.config
cabal.config
.stack-work
.hsenv

# For convenience
custom.mk
\#*
.\#*
tags
TAGS

# IDE and editors
*.swp
*~
.DS_Store
.hpc
*.orig
*.tix
*.dSYM
.projectile
.dir-locals.el
.vscode
.idea