]> gitweb.factorcode.org Git - factor.git/commit
elevate: fix help-lint
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 25 Jan 2022 18:31:35 +0000 (10:31 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 25 Jan 2022 18:31:35 +0000 (10:31 -0800)
commit2a18a5c59514a6281dd82229eacd18087a5aab67
treeda0f9f4e8fc1d23cee72b1a51007f5ee432f78f7
parentcec10a49ba1de864674823b6d8ba723d9b1dc26f
elevate: fix help-lint
extra/elevate/elevate-docs.factor