]> gitweb.factorcode.org Git - factor.git/commit
help.lint: simplify by adding help-lint-root
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 21 Jan 2023 00:01:09 +0000 (16:01 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 21 Jan 2023 00:01:09 +0000 (16:01 -0800)
commit8d215bcaefa8b6afaf3236feb57a4f66b85c2ccd
tree0199c97d735cfb47c52f7f759cc5bf7462972127
parent7a8d8c40f7e147641762a96170b90be005875ea8
help.lint: simplify by adding help-lint-root
basis/help/lint/lint.factor