diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-09-16 15:18:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-16 15:18:24 +0200 |
| commit | 04edb2bab83321b2f0aa5d6580fb50488c8afc28 (patch) | |
| tree | a5648b3d13856b8f2db43bb1d6231cbd0fd77cb8 /compiler/rustc_mir_transform/src/coverage/debug.rs | |
| parent | 77e0102d19f5f86a78419fbbac4df6ad71f5df7b (diff) | |
| parent | ec1d04967dbe32ded50afaa29209373eff924517 (diff) | |
| download | rust-04edb2bab83321b2f0aa5d6580fb50488c8afc28.tar.gz rust-04edb2bab83321b2f0aa5d6580fb50488c8afc28.zip | |
Rollup merge of #115885 - RalfJung:dont-ignore-ice, r=oli-obk
don't globally ignore rustc-ice files Reverts a change that happened in https://github.com/rust-lang/rust/pull/114586 but is unrelated to that PR and wasn't discussed. ICE files appearing is somewhat of a nuisance, but I'd rather clean them up than have them accumulate in my source folder. `@oli-obk` if you want to ignore them you can add them to your local `.git/info/exclude`.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions