Idris-dev/.gitignore

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
New .gitignore for Cabal's directory and .ibc files. 2012-01-23 00:19:06 +04:00			`dist`
add vim temp files and cabal-dev directory to git ignore 2012-10-29 03:35:56 +04:00			`cabal-dev/`
uppercase modulenames 2012-10-22 23:37:35 +04:00			`*.ibc`
			`*.o`
			`*.a`
Build RTS as shared library The C RTS is now built as a shared library, so that the functions in the Idris standard library that use parts of it will work in :x and in type providers. 2013-04-01 20:47:42 +04:00			`*.so`
			`*.dll`
			`*.dylib`
add vim temp files and cabal-dev directory to git ignore 2012-10-29 03:35:56 +04:00			`*.swp`
Adding support for Windows MingW32 2012-11-27 05:59:43 +04:00			`*~`
Improved Makefile dependencies. 2013-03-21 20:14:37 +04:00			`custom.mk`
Add an XML file generated in the build to the ignore file 2013-07-29 00:58:44 +04:00			`java/executable_pom.xml`
uppercase modulenames 2012-10-22 23:37:35 +04:00			`test/output`
			`test/test???/output`
typo fix in git attributes, adding test results to gitignore 2012-11-27 06:09:59 +04:00			`test/reg???/output`
Ignore windows test binaries 2012-11-27 16:51:33 +04:00			`test/test???/*.exe`
			`test/reg???/*.exe`
Add tutorial LaTeX by-products to .gitignore 2013-06-21 13:50:16 +04:00			`tutorial/*.aux`
			`tutorial/*.bbl`
			`tutorial/*.blg`
			`tutorial/*.log`
			`tutorial/*.out`
			`tutorial/*.toc`