Merge pull request #2037 from koppor/patch-1
00111374b47b
Actions

Authored by Brendan Forster <brendan@github.com> on Jul 10 2016, 23:54.

Description

Merge pull request #2037 from koppor/patch-1

ignore busy indicator of uncompressed .synctex file

Committed

GitHub <noreply@github.com>

Jul 10 2016, 23:54

Pushed

aubort

Jul 2 2018, 16:12

Parents

Branches

Unknown

Tags

Unknown

GitHub <noreply@github.com> committed rGITIGNORE00111374b47b: Merge pull request #2037 from koppor/patch-1 (authored by Brendan Forster <brendan@github.com>).Jul 10 2016, 23:54

	Commit			Author	Details	Committed
	4616b76860f5			Oliver Kopp/GitHub	ignore busy indicator of uncompressed .synctex file	Jul 9 2016

				Path
	M			TeX.gitignore