Commit Graph
1 Commits
Author SHA1 Message Date
Oliver KoppandGitHub 4616b76860 ignore busy indicator of uncompressed .synctex file 2016-07-09 15:02:07 +02:00