From 8c84ba2464b7f3865bdfe2edfde8875cf4547b13 Mon Sep 17 00:00:00 2001 From: Salvatore Filippone Date: Sat, 29 Oct 2022 08:45:32 +0200 Subject: [PATCH] Fix gitignore --- .gitignore | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index 54df5581..6ecf4e1f 100644 --- a/.gitignore +++ b/.gitignore @@ -12,9 +12,9 @@ config.log config.status # generated folder -include/ -modules/ -docs/src/tmp +/include/ +/modules/ +/docs/src/tmp autom4te.cache # the executable from tests