]> gitweb.factorcode.org Git - factor.git/commit
help.lint.coverage: fix help-lint warnings
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 7 Jan 2023 01:55:25 +0000 (17:55 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 7 Jan 2023 01:55:25 +0000 (17:55 -0800)
commit208355bca8fc9e00aaba6a07da7418e38624fe19
treece4588a728e2fab79dee5c9ca62918212fd693de
parent264368461ad95e2a5087b50f461954bd61ca3cf7
help.lint.coverage: fix help-lint warnings
extra/help/lint/coverage/coverage-docs.factor