diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-01-29 21:17:40 -0500 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2013-01-29 21:17:40 -0500 |
commit | 652e737517bbbae692923246aeb687e2d1f314ef (patch) | |
tree | b8eab1e32743b67ea9ba5fa6c1691247abb0fd05 /.gitignore | |
parent | 7bcd865d386d96caac83cb1c589fdb8f9ce3b081 (diff) |
build-sys: keep intermediate files
Sometimes it is useful to look at them, and they don't take
up any significant amount of space. Keeping them also avoids
the message about files being removed at the end of make
run.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions