Brendan Forster 00111374b4 Merge pull request #2037 from koppor/patch-1 ...

ignore busy indicator of uncompressed .synctex file

2016-07-10 14:54:27 -07:00

1.8 KiB

Raw Blame History

View Raw