henry oswald 0e2603e4be change synctex binary and added it to mounted volumes in docker config

2018-05-25 13:45:07 +00:00

..

clsi

change synctex binary and added it to mounted volumes in docker config

2018-05-25 13:45:07 +00:00