Ignore ICE dumps in git

oli-obk · oli-obk · commit ad4dd759d84b · 2023-08-07T10:09:20.000Z
diff --git a/.gitignore b/.gitignore
@@ -58,6 +58,7 @@ build/
 \#*
 \#*\#
 .#*
+rustc-ice-*.txt
 
 ## Tags
 tags

-Original file line number
+Diff line change
 \#*
 \#*\#
 .#*
 +rustc-ice-*.txt
 ## Tags
 tags