Age | Commit message (Expand) | Author |
---|---|---|
2014-12-23 | makediff: exit on makediff.sh failure | mstsirkin |
2014-06-26 | script to create html diff as well | mstsirkin |
2014-06-26 | more latexdiff hacks | mstsirkin |
2014-06-26 | work around xetex bug | mstsirkin |
2014-06-26 | makediffpdf.sh: tool to create marked-up diff | mstsirkin |