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

This commit is contained in:
henry oswald
2018-05-25 13:45:07 +00:00
parent 9548615169
commit 0b3af7d759
2 changed files with 3 additions and 1 deletions

Binary file not shown.