diff --git a/.gitignore b/.gitignore index e1142f987d8..58d39c99722 100644 --- a/.gitignore +++ b/.gitignore @@ -48,7 +48,6 @@ .project .valgrindrc lexer.ml -rustboot TAGS version.ml version.texi