From 340c94486a3a683e75f944b16712dbf0c14ee92d Mon Sep 17 00:00:00 2001
From: Holger Dell <holgerdell@users.noreply.github.com>
Date: Mon, 25 Apr 2022 16:31:24 +0200
Subject: [PATCH] minor: Added synctex files to .gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 44089b7..366ef92 100644
--- a/.gitignore
+++ b/.gitignore
@@ -22,6 +22,7 @@
 *.ps
 *.sav
 *.swp
+*.synctex.gz
 *.toc
 
 *.run.xml