3 Commits

Author	SHA1	Message	Date
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