]> source.dussan.org Git - gitignore.git/commit
projects / gitignore.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0de8bc) | patch
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)
commit4616b76860f5a0e587cf63c3f12f2dd7631214d1
treef8574dc59d01fb9ae7b8f241ec64cdc6e9e832aftree | snapshot
parentc0de8bc140e3079c93f2970be853d310602a5ddbcommit | diff
ignore busy indicator of uncompressed .synctex file
TeX.gitignore diff | blob | history
A collection of useful .gitignore templates: https://github.com/github/gitignore