diff --git a/.gitignore b/.gitignore index a9ddda65416d..1d6ee9e36141 100644 --- a/.gitignore +++ b/.gitignore @@ -51,6 +51,8 @@ .project .settings/ .valgrindrc +/*-*-*-*/ +/*-*-*/ /Makefile /build /dist/ @@ -75,8 +77,6 @@ TAGS.vi \#*\# config.mk config.stamp -i686-pc-mingw32/ -i686-unknown-linux-gnu/ keywords.md lexer.ml src/.DS_Store @@ -86,5 +86,3 @@ tmp.*.rs version.md version.ml version.texi -x86_64-apple-darwin/ -x86_64-unknown-linux-gnu/