]> gitweb.factorcode.org Git - factor.git/commit
help.lint.coverage: fix help-lint warnings
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 5 Jan 2023 20:46:21 +0000 (12:46 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 5 Jan 2023 20:46:21 +0000 (12:46 -0800)
commitd3917ffe70691e89bb290c869ebf5a766b5f3e55
tree2599735376bbb6cc467355a4a5c0684be3c17e9f
parent7dd11f979b6de446d2328a582bbe0d016f4dce0c
help.lint.coverage: fix help-lint warnings
extra/help/lint/coverage/coverage-docs.factor