]> gitweb.factorcode.org Git - factor.git/commit
tools.completion: fix help-lint warning.
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 3 Jan 2022 01:53:53 +0000 (17:53 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 3 Jan 2022 01:53:53 +0000 (17:53 -0800)
commitab2bfd2679543a0eae7cd1239e90c086cba681f5
tree69e69d2738f17cb9f0231592af425d5e1c12a7b4
parent47349716241792b8e4f2965b9896d5284a879de3
tools.completion: fix help-lint warning.
basis/tools/completion/completion-docs.factor
basis/tools/completion/completion.factor