Idris-dev/.gitignore

26 lines
294 B
Plaintext
Raw Normal View History

dist
cabal-dev/
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
2013-03-21 20:14:37 +04:00
custom.mk
2012-10-22 23:37:35 +04:00
test/output
test/test???/output
test/reg???/output
2012-11-27 16:51:33 +04:00
test/test???/*.exe
test/reg???/*.exe
tutorial/*.aux
tutorial/*.bbl
tutorial/*.blg
tutorial/*.log
tutorial/*.out
tutorial/*.toc
tutorial/*.fdb_latexmk
tutorial/*.fls