Remove synctex and DVI support
We've agreed we'll remove all this. Hope there's not a huge fallout from it.
Closes: #18 (closed)
Edited by Qiu Wenbo
We've agreed we'll remove all this. Hope there's not a huge fallout from it.
Closes: #18 (closed)