diff options
| author | Oliver Kopp <kopp.dev@gmail.com> | 2016-07-09 15:02:07 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-09 15:02:07 +0200 |
| commit | 4616b76860f5a0e587cf63c3f12f2dd7631214d1 (patch) | |
| tree | f8574dc59d01fb9ae7b8f241ec64cdc6e9e832af /TeX.gitignore | |
| parent | c0de8bc140e3079c93f2970be853d310602a5ddb (diff) | |
| download | gitignore-4616b76860f5a0e587cf63c3f12f2dd7631214d1.tar.gz gitignore-4616b76860f5a0e587cf63c3f12f2dd7631214d1.zip | |
ignore busy indicator of uncompressed .synctex file
Diffstat (limited to 'TeX.gitignore')
| -rw-r--r-- | TeX.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/TeX.gitignore b/TeX.gitignore index 3cb097c9..6ac1a731 100644 --- a/TeX.gitignore +++ b/TeX.gitignore @@ -31,6 +31,7 @@ ## Build tool auxiliary files: *.fdb_latexmk *.synctex +*.synctex(busy) *.synctex.gz *.synctex.gz(busy) *.pdfsync |