]> gitweb.factorcode.org Git - factor.git/commit
unicode.collation: remove unused allkeys.txt
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 27 Oct 2023 18:51:48 +0000 (11:51 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 27 Oct 2023 18:51:48 +0000 (11:51 -0700)
commit17f22f9070a830178008c1a537ead233765d1ad3
treed20e6ccf6cee28e38b03f052e21aa13500e57a17
parenta00f4246233b4e79f8cb9d6122e7a0b32fb7ec70
unicode.collation: remove unused allkeys.txt
basis/unicode/collation/allkeys.txt [deleted file]