henry oswald
|
0b3af7d759
|
change synctex binary and added it to mounted volumes in docker config
|
2018-05-25 13:45:07 +00:00 |
|
Henry Oswald
|
98a4e60eb7
|
update to 1.1.3 build scripts
|
2018-05-24 19:03:57 +01:00 |
|
Henry Oswald
|
f4226ecd0e
|
try copying synctex betwen directories
|
2018-03-16 17:10:56 +00:00 |
|
Henry Oswald
|
6fbfcfc68b
|
move synctex into a directory for simple mounting
|
2018-03-16 16:50:30 +00:00 |
|
Henry Oswald
|
017ba3a4ec
|
mvp
needs hacked pacth in docker runner
wip
most tests pass
|
2018-03-02 17:14:20 +00:00 |
|