From ad4dd759d84b02ed8bf0508ae54d9638c139dc5c Mon Sep 17 00:00:00 2001 From: Oli Scherer Date: Mon, 7 Aug 2023 10:09:20 +0000 Subject: [PATCH] Ignore ICE dumps in git --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 485968d9c56..4c8d1a03764 100644 --- a/.gitignore +++ b/.gitignore @@ -58,6 +58,7 @@ build/ \#* \#*\# .#* +rustc-ice-*.txt ## Tags tags