Henry Oswald 6299832a13 don't error on a bad synctex call

2018-08-23 11:32:50 +01:00

..

coffee

don't error on a bad synctex call

2018-08-23 11:32:50 +01:00