diff --git a/.unison/default.prf b/.unison/default.prf index a879906..87b5ac7 100644 --- a/.unison/default.prf +++ b/.unison/default.prf @@ -7,13 +7,14 @@ ignorearchives = true log = false times = true -# Ignore list -ignore = Path .stfolder -ignore = Path .stversions -ignore = Path __pycache__ -ignore = Path _build -ignore = Path .import +# Ignore list directories +ignore = Name .stfolder +ignore = Name .stversions +ignore = Name __pycache__ +ignore = Name _build +ignore = Name .import +# Ignore list files ignore = Name synctex.gz ignore = Name *.toc ignore = Name *.out