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

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

91 KiB

Executable File

Raw History

View Raw