]> source.dussan.org Git - gitignore.git/commitdiff
projects / gitignore.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 99dabe1 4616b76)
Merge pull request #2037 from koppor/patch-1
authorBrendan Forster <brendan@github.com>
Sun, 10 Jul 2016 21:54:27 +0000 (14:54 -0700)
committerGitHub <noreply@github.com>
Sun, 10 Jul 2016 21:54:27 +0000 (14:54 -0700)
ignore busy indicator of uncompressed .synctex file

1  2 
TeX.gitignore patch | diff1 | diff2 | blob | history

diff --cc TeX.gitignore
Simple merge
A collection of useful .gitignore templates: https://github.com/github/gitignore