From: Arthur Cohen <[email protected]> ChangeLog:
* .gitignore: Add libgrust target folders to the ignore list.
---
.gitignore | 3 +++
1 file changed, 3 insertions(+)
diff --git a/.gitignore b/.gitignore
index f044fe16b5f..7150fc3b29c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -71,3 +71,6 @@ stamp-*
/gmp*
/isl*
/gettext*
+
+# ADDITIONS from GCCRS front-end
+libgrust/*/target/
--
2.45.2
