diff --git a/.gitignore b/.gitignore index 4c18c6ad3a..c798236493 100644 --- a/.gitignore +++ b/.gitignore @@ -1,10 +1,9 @@ Makefile.local +Makefile.local~ -dependencies/archives/ - -dependencies/install/ -dependencies/sources/ -dependencies/check.log +dependencies/ +include/ +share/ or-tools*.tar.gz or-tools*.zip