mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-20 21:49:53 +03:00
24 lines
270 B
Plaintext
24 lines
270 B
Plaintext
dist
|
|
cabal-dev/
|
|
*.ibc
|
|
*.o
|
|
*.a
|
|
*.so
|
|
*.dll
|
|
*.dylib
|
|
*.swp
|
|
*~
|
|
custom.mk
|
|
java/executable_pom.xml
|
|
test/output
|
|
test/test???/output
|
|
test/reg???/output
|
|
test/test???/*.exe
|
|
test/reg???/*.exe
|
|
tutorial/*.aux
|
|
tutorial/*.bbl
|
|
tutorial/*.blg
|
|
tutorial/*.log
|
|
tutorial/*.out
|
|
tutorial/*.toc
|