]> source.dussan.org Git - gitignore.git/commitdiff
ignore busy indicator of uncompressed .synctex file 2037/head
authorOliver Kopp <kopp.dev@gmail.com>
Sat, 9 Jul 2016 13:02:07 +0000 (15:02 +0200)
committerGitHub <noreply@github.com>
Sat, 9 Jul 2016 13:02:07 +0000 (15:02 +0200)
TeX.gitignore

index 3cb097c9d5e5d3cb7b63393d7e1ddb8b999b2e28..6ac1a731ea172d5d889181b01d9dc376e5080494 100644 (file)
@@ -31,6 +31,7 @@
 ## Build tool auxiliary files:
 *.fdb_latexmk
 *.synctex
+*.synctex(busy)
 *.synctex.gz
 *.synctex.gz(busy)
 *.pdfsync