]> gitweb.factorcode.org Git - factor.git/commit
help.lint: remove --only.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 30 Nov 2020 20:43:07 +0000 (12:43 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 30 Nov 2020 20:43:07 +0000 (12:43 -0800)
commit27cc98e44b185011448843a2b13d12d52ce28870
tree47b92f4256f14f3855cc2325c30d88871f6995c5
parent4cc70dc24bd51fcd8312e8826fcf1656881a3ab1
help.lint: remove --only.
basis/help/lint/lint.factor