From 70619c656e5fc0fdabee012aff8e1698403dc574 Mon Sep 17 00:00:00 2001
From: JoLOST1 <joel.leirer@ost.ch>
Date: Mon, 25 Sep 2023 11:27:53 +0200
Subject: [PATCH] updated .gitignore

---
 .gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 301e7d7..8813337 100644
--- a/.gitignore
+++ b/.gitignore
@@ -42,6 +42,7 @@ _ReSharper*/
 
 ## Intermediate documents:
 *.dvi
+*.xdv
 *-converted-to.*
 # these rules might exclude image files for figures etc.
  *.ps
@@ -65,7 +66,7 @@ _ReSharper*/
 *.synctex.gz
 *.synctex.gz(busy)
 *.pdfsync
-*.xdv
+
 
 ## Auxiliary and intermediate files from other packages:
 # algorithms