From 7bc6b0fb2f082e1e80f02292976ee5cba105e1ce Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Fri, 18 Feb 2022 15:39:14 +0100 Subject: [PATCH] update .gitignore --- .gitignore | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) 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