Henry Oswald 4179d19200 move synctex into a directory for simple mounting 8 years ago
..
clsi 4179d19200 move synctex into a directory for simple mounting 8 years ago