Brian Gough 33d6462875 check output file exists before running synctex

2020-06-12 15:15:27 +01:00

..

js

check output file exists before running synctex

2020-06-12 15:15:27 +01:00