]> source.dussan.org Git - gitignore.git/commit
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)
commit00111374b47b684cb2196c9034ea92cbdfbf9c9f
tree588aa9650ed151f3eb57129aa0673e469044bd27
parent99dabe1835a69f1fb598084387ffa518aae75044
parent4616b76860f5a0e587cf63c3f12f2dd7631214d1
Merge pull request #2037 from koppor/patch-1

ignore busy indicator of uncompressed .synctex file
TeX.gitignore