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 | |
| 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`.
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 4c8d1a03764..485968d9c56 100644 --- a/.gitignore +++ b/.gitignore @@ -58,7 +58,6 @@ build/ \#* \#*\# .#* -rustc-ice-*.txt ## Tags tags |