Merge pull request #2037 from koppor/patch-1

ignore busy indicator of uncompressed .synctex file

Brendan Forster committed 9y ago

00111374b47b684cb2196c9034ea92cbdfbf9c9f

Committed by GitHub <noreply@github.com> on 7/10/2016, 9:54:27 PM