Anri/confOS
1
0
Fork 0
Code Issues 27 Pull requests Projects Releases Wiki Activity

fix ignored file

Browse source
This commit is contained in:
Mylloon 2022-11-30 20:20:09 +01:00
parent 801ba95e53
commit c9c63b7ad9
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.unison/default.prf
View file

@ -15,7 +15,7 @@ ignore = Name _build
ignore = Name .import
# Ignore list files
ignore = Name synctex.gz
ignore = Name *.synctex.gz
ignore = Name *.toc
ignore = Name *.log
ignore = Name *.fls