Brian Gough c5917d4a75 use a command wrapper for synctex ...

instead of an alternative child_process object

2016-08-04 16:08:14 +01:00

..

clsi

use a command wrapper for synctex

2016-08-04 16:08:14 +01:00