]> gitweb.factorcode.org Git - factor.git/commit
help.lint.coverage: fix string.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 21 Nov 2020 18:23:36 +0000 (10:23 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 21 Nov 2020 18:23:36 +0000 (10:23 -0800)
commit9e1f095b5f7b27788459416f882a51d915dd2752
tree87f379b7f992ed760fd51fda9de3193d60804c72
parentf7cc71414cf1abd6703ee042d2482af0b8656b08
help.lint.coverage: fix string.
extra/help/lint/coverage/coverage-docs.factor