]>
2017-07-31 | Weblate | Merge remote-tracking branch 'origin/master' | blob | commitdiff | raw |
2017-07-31 | Gunnar Wolf | Add Makefile targets for all, clean | blob | commitdiff | raw |
2017-07-31 | Gunnar Wolf | Makefile patch by Petter Reinholdtsenfor the PDF build... | blob | commitdiff | raw | diff to current |
2017-07-31 | Gunnar Wolf | Echoes from my last fixup :-P | blob | commitdiff | raw | diff to current |
2017-07-26 | Gunnar Wolf | Cleanup on the Markdown sources; reflecting it on the... | blob | commitdiff | raw | diff to current |