Idris-dev/.gitignore

30 lines
357 B
Plaintext
Raw Normal View History

dist
cabal-dev/
2013-11-25 21:21:14 +04:00
.cabal-sandbox
cabal.sandbox.config
2014-11-11 02:19:25 +03:00
.hsenv
2012-10-22 23:37:35 +04:00
*.ibc
*.o
*.a
*.so
*.dll
*.dylib
*.swp
2012-11-27 05:59:43 +04:00
*~
2013-09-05 04:54:34 +04:00
.DS_Store
.hpc
*.tix
2015-02-16 13:15:10 +03:00
.projectile
.dir-locals.el
2013-03-21 20:14:37 +04:00
custom.mk
libs/base/base_doc/
libs/effects/effects_doc/
libs/prelude/prelude_doc/
2015-03-19 21:13:21 +03:00
libs/contrib/contrib_doc/
2012-10-22 23:37:35 +04:00
test/output
test/*[0-9][0-9][0-9]/output
test/*[0-9][0-9][0-9]/*.exe
tags
TAGS
src/Version_idris.hs