]> gitweb.factorcode.org Git - factor.git/commit
help.lint: changing command-line to add --only and do load/help-lint each.
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 22 Nov 2020 04:29:54 +0000 (20:29 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 22 Nov 2020 04:29:54 +0000 (20:29 -0800)
commit2a691cff6cfccab54f768d8286a4972203a500f6
tree76dd9b5e540a24199140392e76cf6e69f5c0a5f0
parent96eaa41096c2a09ced1080fede96e75287a31836
help.lint: changing command-line to add --only and do load/help-lint each.
basis/help/lint/lint.factor