]> gitweb.factorcode.org Git - factor.git/commit
help.lint.checks: ignore a few more, for command-line help.lint.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 22 Nov 2020 19:28:39 +0000 (11:28 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 22 Nov 2020 19:28:39 +0000 (11:28 -0800)
commitdfc4a22b335b2c65a9555f00eb40f01e3a60b1d7
treea2d87e106a8a4ecb047db4a4298cc64ce85a5364
parent454012145aff590577d729524a50845b1475aa06
help.lint.checks: ignore a few more, for command-line help.lint.
basis/help/lint/checks/checks.factor