From c9c63b7ad91e0f4314b11c97c361fffa7eb344e8 Mon Sep 17 00:00:00 2001 From: Mylloon Date: Wed, 30 Nov 2022 20:20:09 +0100 Subject: [PATCH] fix ignored file --- .unison/default.prf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.unison/default.prf b/.unison/default.prf index cf4cce2..28f8bda 100644 --- a/.unison/default.prf +++ b/.unison/default.prf @@ -15,7 +15,7 @@ ignore = Name _build ignore = Name .import # Ignore list files -ignore = Name synctex.gz +ignore = Name *.synctex.gz ignore = Name *.toc ignore = Name *.log ignore = Name *.fls