new filetype for flushcache.sh

2021-11-04 09:49:50 +01:00
parent d3c64f1860
commit 0599c3b9a6
1 changed files with 1 additions and 1 deletions
--- 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