]> gitweb.factorcode.org Git - factor.git/commit
sorting: fix help-lint (again)
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 8 Feb 2023 16:51:25 +0000 (08:51 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 8 Feb 2023 16:51:25 +0000 (08:51 -0800)
commit92cfe886c7101775e93cd5c157db5a780e5dc073
treeb29e599ca205fee76ea8d1ba8a6629ed401282e5
parent4f7348528131fbd97336f29f4be10d58ccfdfe93
sorting: fix help-lint (again)
core/sorting/sorting.factor