add .byte
This commit is contained in:
parent
5b5cedc8f8
commit
199e347384
1 changed files with 2 additions and 1 deletions
|
@ -17,7 +17,6 @@ ignore = Name .import
|
||||||
# Ignore list files
|
# Ignore list files
|
||||||
ignore = Name synctex.gz
|
ignore = Name synctex.gz
|
||||||
ignore = Name *.toc
|
ignore = Name *.toc
|
||||||
ignore = Name *.out
|
|
||||||
ignore = Name *.log
|
ignore = Name *.log
|
||||||
ignore = Name *.fls
|
ignore = Name *.fls
|
||||||
ignore = Name *.aux
|
ignore = Name *.aux
|
||||||
|
@ -26,4 +25,6 @@ ignore = Name *.nav
|
||||||
ignore = Name *.snm
|
ignore = Name *.snm
|
||||||
ignore = Name *.vrb
|
ignore = Name *.vrb
|
||||||
ignore = Name *.o
|
ignore = Name *.o
|
||||||
|
ignore = Name *.out
|
||||||
ignore = Name *.cmi
|
ignore = Name *.cmi
|
||||||
|
ignore = Name *.byte
|
||||||
|
|
Loading…
Reference in a new issue