diff --git a/.gitignore b/.gitignore index f515b922c46..55328a4de68 100644 --- a/.gitignore +++ b/.gitignore @@ -34,6 +34,7 @@ .hgignore .cproject .project +.valgrindrc lexer.ml rustboot rustc