mirror of
https://github.com/github/gitignore
synced 2025-06-23 07:08:52 +02:00
Added synctex.gz(busy), which sometimes linger
This commit is contained in:
parent
747efedec0
commit
2c2402b1d7
@ -26,6 +26,7 @@
|
||||
*.ps
|
||||
*.snm
|
||||
*.synctex.gz
|
||||
*.synctex.gz(busy)
|
||||
*.toc
|
||||
*.vrb
|
||||
*.xdy
|
||||
|
Loading…
x
Reference in New Issue
Block a user