update .gitignore

2022-02-18 15:39:14 +01:00
parent 4d77f03b48
commit 7bc6b0fb2f
1 changed files with 4 additions and 5 deletions
--- 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