removing unneeded files

Titstewan · Aug 28, 2024 · 0d75337 · 0d75337
1 parent 048e5bc
commit 0d75337
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,4 +7,5 @@ horen-lenavi_de.pdf
 horen-lenavi_de.log
 horen-lenavi_de.ilg
 horen-lenavi_de.ind
+horen-lenavi_de.synctex(busy)
 horen-lenavi_de.synctex.gz
diff --git a/horen-lenavi_de.synctex(busy) b/horen-lenavi_de.synctex(busy)