]> gitweb.factorcode.org Git - factor.git/commit
unicode.collation: minor cleanup.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 14 Mar 2018 22:45:01 +0000 (15:45 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 14 Mar 2018 22:46:10 +0000 (15:46 -0700)
commit5acacf109b62d84da6ac3e136ac1ee005d31fd4d
tree501ddf5ed25678253148fa98813f4e73ab2e3bf9
parentc5a7ce216b1049305d0883ebacb134ff19177867
unicode.collation: minor cleanup.
basis/unicode/collation/collation.factor