]> gitweb.factorcode.org Git - factor.git/commit
help.pdf: fix tools.pdf name
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 3 Sep 2023 15:35:37 +0000 (08:35 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 3 Sep 2023 15:35:37 +0000 (08:35 -0700)
commit6bc010ba004e9c9987e5e27dcc8fbc791f71987b
tree58b4d3893ab925a9340c9411ca6e19d46d957a98
parent300f6665056c664a2db9437ecf2e6dae3c224c52
help.pdf: fix tools.pdf name
extra/help/pdf/pdf.factor