diff --git a/.unison/default.prf b/.unison/default.prf index 0621718..03d5193 100644 --- a/.unison/default.prf +++ b/.unison/default.prf @@ -19,6 +19,7 @@ ignore = Name lib # Ignore list files ignore = Name *.synctex.gz +ignore = Name *.tns ignore = Name *.toc ignore = Name *.log ignore = Name *.loa