Henry Oswald 4179d19200 move synctex into a directory for simple mounting

2018-03-16 16:50:30 +00:00

..

clsi

move synctex into a directory for simple mounting

2018-03-16 16:50:30 +00:00