From 0c329ed4c9b8acab8d648682c836f2d423546c08 Mon Sep 17 00:00:00 2001 From: Leon Etienne Date: Thu, 4 Nov 2021 09:47:03 +0100 Subject: [PATCH] new filetypes in flushcache --- flushcache.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/flushcache.sh b/flushcache.sh index 371a029..2177d72 100755 --- a/flushcache.sh +++ b/flushcache.sh @@ -1 +1 @@ -rm -f kapitel/*.aux *.aux *.lof *.log *.lot *.toc *.tps *.out +rm -f kapitel/*.aux *.aux *.lof *.log *.lot *.toc *.tps *.out *.fdb_latexmk *.fls