]> gitweb.factorcode.org Git - factor.git/commit
help.lint.coverage: fix help-lint with english changes.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 15 Feb 2018 21:53:29 +0000 (13:53 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 15 Feb 2018 21:53:29 +0000 (13:53 -0800)
commit6a5d22c8305477554548d7af8053d22be8416e51
treed6868c9358b1982bb36d057e41563bb0b7c1f863
parent0099da77e162a39abbabb0a54877c9b107d8ce17
help.lint.coverage: fix help-lint with english changes.

Longer term maybe easier if it just help-lint-coverage on itself?
extra/help/lint/coverage/coverage-docs.factor