]> gitweb.factorcode.org Git - factor.git/history - extra/help/pdf
Fixes #2966
[factor.git] / extra / help / pdf /
2023-09-03 John Benediktssonhelp.pdf: fix tools.pdf name
2023-08-22 nomennescioMerge branch 'factor:master' into feature-vm-prepare...
2023-01-20 John BenediktssonSwitch to https urls
2022-01-20 Doug Colemanfactor: trim more using lists.
2020-03-03 John Benediktssonhelp.pdf: use 1.25 line-height on pdf.
2018-03-15 Doug ColemanRevert "help.pdf: use tilde paths."
2018-02-27 John Benediktssonhelp.pdf: use tilde paths.
2016-11-28 Björn Lindqvistvocabs.metadata.resources,help.pdf: gather used
2012-12-17 John Benediktssonhelp.pdf: add some more help pdfs.
2012-09-22 John Benediktssonhelp.pdf: generate PDF files from help articles.