diff --git a/.gitignore b/.gitignore index e4a13ebaaba..21f90f712f6 100644 --- a/.gitignore +++ b/.gitignore @@ -30,6 +30,8 @@ *.swp .hg/ .hgignore +.cproject +.project lexer.ml rustboot rustc