# Unison preferences file
auto = true
batch = true
prefer = newer
fat = true
ignorearchives = true
log = false
times = true

# Ignore list directories
ignore = Name .stfolder
ignore = Name .stversions
ignore = Name __pycache__
ignore = Name _build
ignore = Name .import
ignore = Name _minted-*
ignore = Name bin
ignore = Name lib
ignore = Name .gradle
ignore = Name .idea
ignore = Name build
ignore = Name _opam

# Ignore list files
ignore = Name *:Zone.Identifier
ignore = Name *.synctex.gz
ignore = Name *.tns
ignore = Name *.toc
ignore = Name *.log
ignore = Name *.loa
ignore = Name *.lof
ignore = Name *.locs
ignore = Name *.bbl
ignore = Name *.blg
ignore = Name *.fls
ignore = Name *.aux
ignore = Name *.fdb_latexmk
ignore = Name *.nav
ignore = Name *.snm
ignore = Name *.vrb
ignore = Name *.o
ignore = Name *.out
ignore = Name *.cmi
ignore = Name *.cmx
ignore = Name *.byte
ignore = Name *.exe
ignore = Name pyvenv.cfg
ignore = Name local.properties