From b0a8bbc0bd9a9a617c1f0c69780bf2327405681a Mon Sep 17 00:00:00 2001 From: Luca Lombardo Date: Thu, 9 Feb 2023 12:52:11 +0100 Subject: [PATCH] updated gitignore to ignore tex/ --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitignore b/.gitignore index 1b639ad..389a456 100644 --- a/.gitignore +++ b/.gitignore @@ -149,4 +149,6 @@ backup/ sources/ extra/ html_graphs/ + +# ignore the tex folder tex/