Idris-dev/.gitignore

dist
cabal-dev/
.cabal-sandbox
cabal.sandbox.config
*.ibc
*.o
*.a
*.so
*.dll
*.dylib
*.swp
*~
.DS_Store
custom.mk
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
tutorial/*.fdb_latexmk
tutorial/*.fls
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/`
Add cabal sandbox stuff to .gitignore. 2013-11-25 21:21:14 +04:00			`.cabal-sandbox`
			`cabal.sandbox.config`
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			`*~`
Ignore Mac OS X .DS_Store files 2013-09-05 04:54:34 +04:00			`.DS_Store`
Improved Makefile dependencies. 2013-03-21 20:14:37 +04:00			`custom.mk`
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`
Various 'beneath the hood' improvements made to the tutorial project. + Moved content to sub- directory. + Updated Makefile + Updated latex packages + Modern versions of font packages + nagging support for outdated LaTeX commands and packages. + Better font spacing and language support. + Added support for latexmk artifacts within .gitignore. + Added support for git and auto-fetching version info from tags. + Currently version info is hard coded. + If the correct hook is added the fetching can be automated. 2013-11-12 14:22:02 +04:00			`tutorial/*.fdb_latexmk`
			`tutorial/*.fls`