Commit Graph

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