29 Commits

Author	SHA1	Message	Date
Simon Michael	5bd276d507	tools: gitignore cleanups	2017-04-27 10:49:35 -07:00
Simon Michael	cf74b78064	tools: gitignore cleanups	2017-04-27 09:40:32 -07:00
Simon Michael	00a22792ff	tools: fix gitignore of generated manuals	2017-01-26 11:54:59 -08:00
Simon Michael	34ec7406a1	move add-ons and scripts to bin/	2017-01-08 07:28:23 -08:00
Simon Michael	16d454c2f1	tools: ignore Shake	2016-10-28 11:33:05 -07:00
Moritz Kiefer	981b6f6594	Add a cabal.project file (#411)	2016-10-05 07:15:13 -10:00
Moritz Kiefer	c7cd540bff	Ignore dist-newstyle (#408)	2016-10-04 08:11:43 -10:00
Simon Michael	c3326ba943	git: don't ignore filenames beginning with a number	2016-09-21 09:32:54 -07:00
Simon Michael	399d61df53	group related git ignored symlinks	2016-06-01 12:32:37 -07:00
Simon Michael	3d129f6d31	shake: also generate info manuals	2016-04-18 17:54:55 -07:00
Simon Michael	0912d5ebbe	tools: git ignore	2016-02-21 12:43:53 -08:00
Simon Michael	e58cf86cfe	tools: ignore profiling build object files	2015-10-26 06:53:38 -07:00
Simon Michael	2d46ee4448	tools: git ignore everything beginning with . or _	2015-06-28 14:15:37 -07:00
Simon Michael	206887db43	tools: more git ignores	2015-06-25 15:23:44 -07:00
Simon Michael	2df9b84118	tools: git ignore local.mk, and .stack-work	2015-06-17 13:56:58 -07:00
Simon Michael	ec13aae530	git ignore profs, .hpc files	2014-10-31 16:33:55 -07:00
Simon Michael	3ed0ccef0c	doc: move profs/ under doc/	2014-10-31 16:24:58 -07:00
Simon Michael	10fe46d2a8	sort main gitignore	2014-10-31 16:16:41 -07:00
Simon Michael	466c907272	tools: git ignore *.dyn*	2014-06-14 14:33:35 -07:00
Simon Michael	abe819dc83	tools: git ignore test addons	2014-05-09 18:17:45 -07:00
Simon Michael	c4ca7638f9	gitignore updates	2014-01-12 15:15:23 -08:00
Simon Michael	7838811b46	gitignore updates	2014-01-11 21:53:16 -08:00
Simon Michael	d3794ba5b6	.gitignore updates	2014-01-11 20:46:22 -08:00
Marko Kocić	338d0290b4	Add cabal sandbox files to .gitignore	2013-12-17 13:32:30 +01:00
Simon Michael	d46ddb1d71	tools: more ignores	2013-06-24 08:17:44 -07:00
Simon Michael	2204963ace	git ignores	2013-05-28 16:14:52 -07:00
Simon Michael	e30679de6d	tools: more git ignores	2013-05-03 12:00:21 -07:00
Simon Michael	c510f11424	more git ignores	2013-04-09 10:12:50 -07:00
Marko Kocic	f5306d720d	Add .gitignore	2013-04-09 08:56:32 +00:00