Homec4science

ignore busy indicator of uncompressed .synctex file

Authored by Oliver Kopp <kopp.dev@gmail.com> on Jul 9 2016, 15:02.

Description

ignore busy indicator of uncompressed .synctex file

Details

Committed
GitHub <noreply@github.com>Jul 9 2016, 15:02
Pushed
aubortJul 2 2018, 16:12
Parents
rGITIGNOREc0de8bc140e3: Merge pull request #2034 from ro31337/patch-2
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed rGITIGNORE4616b76860f5: ignore busy indicator of uncompressed .synctex file (authored by Oliver Kopp <kopp.dev@gmail.com>).Jul 9 2016, 15:02