From 741f709b120b937ebb73df49dba8106122f6633a Mon Sep 17 00:00:00 2001 From: DarthJenow Date: Wed, 16 Mar 2022 15:35:54 +0100 Subject: [PATCH] adjusted .gitignore --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 5b43f8f..4cda932 100644 --- a/.gitignore +++ b/.gitignore @@ -10,7 +10,7 @@ *.log *.out *.pdf -*.synctex +*.synctex(busy) *.synctex.gz *.toc *.fls