]> gitweb.factorcode.org Git - factor.git/commit
sorting.human: adding human-sort for convenience
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 24 Jan 2023 20:50:54 +0000 (12:50 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 24 Jan 2023 21:25:51 +0000 (13:25 -0800)
commit5bcf773df2987e2813a705b9ac5ff197e449412c
tree20c07c4a9149ca1c257bede6edc1bd4537763e06
parentfcc7cf92d93c76338353b5b6cf4b47e060326124
sorting.human: adding human-sort for convenience
basis/sorting/human/human.factor