diff options
| author | Ralf Jung <post@ralfj.de> | 2023-09-16 09:44:44 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-09-16 09:44:44 +0200 |
| commit | ec1d04967dbe32ded50afaa29209373eff924517 (patch) | |
| tree | 70aa3a9328e337dccb5aee2c9382596d1a948c4c /.gitignore | |
| parent | 790309b102a0f0459f0ca0ac0386cec2b8a9b0db (diff) | |
| download | rust-ec1d04967dbe32ded50afaa29209373eff924517.tar.gz rust-ec1d04967dbe32ded50afaa29209373eff924517.zip | |
don't globally ignore rustc-ice files
Diffstat (limited to '.gitignore')
| -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 |