5 commits

Author	SHA1	Message	Date
James Allen	52b22a41c8	Use simpler exec command with a timeout	2014-04-09 15:34:54 +01:00
James Allen	892e6bf6d1	Add in a synctex end point	2014-04-08 15:18:56 +01:00
James Allen	b484f08d6e	Use system rm -r to allow removal of files with broken char encodings	2014-04-02 12:53:02 +01:00
James Allen	73c652fb2c	Update a missed setting	2014-02-13 11:08:40 +00:00
James Allen	46b36839e2	Initial open source commit	2014-02-12 17:27:43 +00:00