diff --git a/.gitignore b/.gitignore
index 7150fc3b29c..f044fe16b5f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -71,6 +71,3 @@ stamp-*
 /gmp*
 /isl*
 /gettext*
-
-# ADDITIONS from GCCRS front-end
-libgrust/*/target/