]> gitweb.factorcode.org Git - factor.git/commit
rename human-<=> to human<=>, same for human>=<
authorDoug Coleman <doug.coleman@gmail.com>
Mon, 26 Jan 2009 06:32:02 +0000 (23:32 -0700)
committerDoug Coleman <doug.coleman@gmail.com>
Mon, 26 Jan 2009 06:32:02 +0000 (23:32 -0700)
commitc2df6db5435b85229d3504b5bdc471031fd7952e
tree9f50ff8e2d73d748abfa02912bf39536ec3cc2cc
parentfad7520323074f6ee12e5effe728bc7ba3821b58
rename human-<=> to human<=>, same for human>=<
basis/sorting/human/human-docs.factor
basis/sorting/human/human.factor
basis/sorting/slots/slots-tests.factor