diff --git a/.unison/default.prf b/.unison/default.prf index 460bdfe..616c9cf 100644 --- a/.unison/default.prf +++ b/.unison/default.prf @@ -21,6 +21,7 @@ ignore = Name .idea ignore = Name build # Ignore list files +ignore = Name *:Zone.Identifier ignore = Name *.synctex.gz ignore = Name *.tns ignore = Name *.toc