mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rollup merge of #115885 - RalfJung:dont-ignore-ice, r=oli-obk

Browse Source 
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`.
This commit is contained in:
Matthias Krüger 2023-09-16 15:18:24 +02:00 committed by GitHub
commit 04edb2bab8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -58,7 +58,6 @@ build/
\#*
\#*\#
.#*
rustc-ice-*.txt
## Tags
tags