Idris-dev/.gitignore

11 lines
90 B
Plaintext
Raw Normal View History

dist
cabal-dev/
2012-10-22 23:37:35 +04:00
*.ibc
*.o
*.a
*.swp
2012-11-27 05:59:43 +04:00
*~
2012-10-22 23:37:35 +04:00
test/output
test/test???/output
test/reg???/output