diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-08-09 01:38:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-09 01:38:32 +0200 |
| commit | 82e976212f8623408c1f3b8ef39cce13989119d7 (patch) | |
| tree | 68617285213e4adc3062f2eb957e26f92e9a36e3 /src/test/incremental/thinlto | |
| parent | 74b22c9007b32a357da0aa8347e8ade22bca56a7 (diff) | |
| parent | 798767ca2119a9557c6180d271ae039987d342dc (diff) | |
| download | rust-82e976212f8623408c1f3b8ef39cce13989119d7.tar.gz rust-82e976212f8623408c1f3b8ef39cce13989119d7.zip | |
Rollup merge of #63373 - RalfJung:gitignore, r=alexcrichton
gitignore: add comment explaining policy Based on https://github.com/rust-lang/rust/pull/63307#issuecomment-518539503, I added a comment what I think should be gitignored and what not. This is just a proposal, obviously. Also see https://github.com/rust-lang/rust/pull/53768 for some more discussion. The summary is that if there are junk files that you create locally and are fine leaving around (such as `mir_dump`), git has the option for you to add them to `.git/info/exclude`. Others might prefer to keep their working dir clean of those same junk files, so we shouldn't just ignore them for everyone. I then also cleaned up a few more things, but there were many things that I had no idea where they came from so I didn't touch them.
Diffstat (limited to 'src/test/incremental/thinlto')
0 files changed, 0 insertions, 0 deletions