3 commits

Author	SHA1	Message	Date
Henry Oswald	6d21ab734a	try copying synctex betwen directories	2018-03-16 17:10:56 +00:00
Henry Oswald	4179d19200	move synctex into a directory for simple mounting	2018-03-16 16:50:30 +00:00
Henry Oswald	5cf3c904cb	mvp ... needs hacked pacth in docker runner wip most tests pass	2018-03-02 17:14:20 +00:00