aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2010-03-08 21:31:42 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2010-03-08 21:31:42 +0000
commit44f6e6de77dd318800775d594b1f33cffa2be9a5 (patch)
treeffb0c44c0e68b00e9c7f0cf3c4c39dc3ac201c72 /.gitignore
parent2e4ef03aa3247782339f3d5af8547b448d38b8d2 (diff)
* Set `gc-keep-outputs' or `gc-keep-derivations' to false with
`--delete --ignore-liveness'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions