diff --git a/.gitignore b/.gitignore index d650624ff18..e1142f987d8 100644 --- a/.gitignore +++ b/.gitignore @@ -49,7 +49,6 @@ .valgrindrc lexer.ml rustboot -rustc TAGS version.ml version.texi