Skip to content

Remove synctex and DVI support

Pablo Correa Gomez requested to merge synctex-remove into main

We've agreed we'll remove all this. Hope there's not a huge fallout from it.

Closes: #18 (closed)

Edited by Qiu Wenbo

Merge request reports