]> gitweb.factorcode.org Git - factor.git/commit
sorting: fix help-lint
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 8 Feb 2023 16:01:01 +0000 (08:01 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 8 Feb 2023 16:01:01 +0000 (08:01 -0800)
commit4f7348528131fbd97336f29f4be10d58ccfdfe93
tree3201ecd18c8e09716a8281179d180dfc55f6c40c
parentb3c8c3a2bd6aad8c742edcf6338db6ffe293baf5
sorting: fix help-lint
core/sorting/sorting.factor