Skip to content

Workaround bug of synctex#312

Merged
James-Yu merged 1 commit intoJames-Yu:masterfrom
innerlee:zz/fixsync
Nov 20, 2017
Merged

Workaround bug of synctex#312
James-Yu merged 1 commit intoJames-Yu:masterfrom
innerlee:zz/fixsync

Commits

Commits on Nov 16, 2017