4 Commits

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