From 0599c3b9a624f1b531db55cc4ec55a685ce19ec3 Mon Sep 17 00:00:00 2001
From: Leon Etienne <etienne@medienagenten.de>
Date: Thu, 4 Nov 2021 09:49:50 +0100
Subject: [PATCH] new filetype for flushcache.sh

---
 flushcache.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flushcache.sh b/flushcache.sh
index 2177d72..fc9e884 100755
--- a/flushcache.sh
+++ b/flushcache.sh
@@ -1 +1 @@
-rm -f kapitel/*.aux *.aux *.lof *.log *.lot *.toc *.tps *.out *.fdb_latexmk *.fls
+rm -f kapitel/*.aux *.aux *.lof *.log *.lot *.toc *.tps *.out *.fdb_latexmk *.fls *.synctex.gz