From 0156ccf6cf58eba884f43d08272c0eb69e91bb1c Mon Sep 17 00:00:00 2001 From: Timothee Rocquet Date: Thu, 21 Dec 2023 00:04:03 +0100 Subject: [PATCH] ajout du fichier .gitignore --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 3fccabb..5805720 100644 --- a/.gitignore +++ b/.gitignore @@ -7,4 +7,4 @@ *.out *.pdf *.toc -*.syntex.gz +*.synctex.gz