2022-10-18 17:41:32 +02:00
|
|
|
# Unison preferences file
|
|
|
|
|
auto = true
|
|
|
|
|
batch = true
|
2022-10-21 16:14:14 +02:00
|
|
|
prefer = newer
|
2022-10-18 17:41:32 +02:00
|
|
|
fat = true
|
|
|
|
|
ignorearchives = true
|
|
|
|
|
log = false
|
2022-10-21 16:16:25 +02:00
|
|
|
times = true
|
2022-10-18 17:41:32 +02:00
|
|
|
|
|
|
|
|
# Ignore list
|
|
|
|
|
ignore = Path .stfolder
|
|
|
|
|
ignore = Path .stversions
|
|
|
|
|
ignore = Path __pycache__
|
|
|
|
|
ignore = Path _build
|
|
|
|
|
ignore = Path .import
|
|
|
|
|
|
|
|
|
|
ignore = Name synctex.gz
|
|
|
|
|
ignore = Name *.toc
|
|
|
|
|
ignore = Name *.out
|
|
|
|
|
ignore = Name *.log
|
|
|
|
|
ignore = Name *.fls
|
|
|
|
|
ignore = Name *.aux
|
|
|
|
|
ignore = Name *.fdb_latexmk
|
|
|
|
|
ignore = Name *.nav
|
|
|
|
|
ignore = Name *.snm
|
|
|
|
|
ignore = Name *.vrb
|
|
|
|
|
ignore = Name *.o
|
2022-10-21 15:38:21 +02:00
|
|
|
ignore = Name *.cmi
|
