diff --git a/.gitignore b/.gitignore
index 7062d7fd55..80c2c84ac5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,4 +22,3 @@ GRTAGS
 logs
 old
 tmp/
-impls/\#batch/*