-
由 Juergen Edelbluth 提交于
Sometimes it happens that you'd like to commit during a long LaTeX run. During this run, the document.synctex.gz is renamed to document.synctex.gz(busy). And you don't want to commit this file.
84aef6a3
Sometimes it happens that you'd like to commit during a long LaTeX run. During this run, the document.synctex.gz is renamed to document.synctex.gz(busy). And you don't want to commit this file.