lint.vocabs: fix help-lint for find-unused-in-file.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 6 Sep 2022 19:13:01 +0000 (12:13 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 6 Sep 2022 19:13:01 +0000 (12:13 -0700)
commitb6f1ad5736214af111990fd791388de3be919d3b
treeadd7a1990ce062dbe7de95567873606a33b2cd2d
parentec35f477b2ae33f24e30dcb33128acd530f1366f
lint.vocabs: fix help-lint for find-unused-in-file.
extra/lint/vocabs/vocabs-docs.factor