Idris-dev/.gitignore

mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-12 21:41:32 +03:00
dist
*.ibc
*.o
*.a
test/output
test/test???/output
New .gitignore for Cabal's directory and .ibc files. 2012-01-23 00:19:06 +04:00			`dist`
uppercase modulenames 2012-10-22 23:37:35 +04:00			`*.ibc`
			`*.o`
			`*.a`
			`test/output`
			`test/test???/output`