Files
clsi/app/coffee
Shane Kilkelly e4ffc94de8 Move the latexmk timing command into a configurable latexmkCommandPrefix.
By default, no timing information will be taken.
On Linux with GNU user land, this value should be configured to `["/usr/bin/time", "-v"]`.
On Mac, gnu-time should be installed and configured to `["/usr/local/bin/gtime", "-v"]`.
2016-06-17 14:38:08 +01:00
..
2015-05-15 16:28:35 +01:00
2014-05-09 14:55:37 +01:00
2016-03-17 09:55:18 +00:00
2015-05-21 11:33:13 +01:00