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 |
|