]> gitweb.factorcode.org Git - factor.git/commit
Make -roots=<paths> known to the documentation
authorGiftpflanze <gifti@tools.wmflabs.org>
Sat, 24 Feb 2024 10:18:31 +0000 (11:18 +0100)
committerGiftpflanze <gifti@tools.wmflabs.org>
Sat, 24 Feb 2024 10:18:49 +0000 (11:18 +0100)
commit127a5086a921c963ff8707f9d4c91ded61fe22e9
treeb6d0952f896ebdfe9bb9f87617cb80a5a950efc7
parent0de57b862fc174b08c1bd967dfe1c3575ba67183
Make -roots=<paths> known to the documentation
basis/command-line/command-line-docs.factor
core/vocabs/loader/loader-docs.factor