]> gitweb.factorcode.org Git - factor.git/commit
tools.test/help.lint: use vocab-roots instead of resource: head?
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 22 Nov 2020 17:24:35 +0000 (09:24 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 22 Nov 2020 17:24:35 +0000 (09:24 -0800)
commitf0a15d881e819e03a3f1c8453831558d3a11e1ca
tree46fe458e85d24fdf593de201c800401205727c13
parent14330f12a4acb9d14d85251c41b879c5132cc2ee
tools.test/help.lint: use vocab-roots instead of resource: head?
basis/help/lint/lint.factor
basis/tools/test/test.factor