]> gitweb.factorcode.org Git - factor.git/commit
Better?
authornomennescio <nomennescio@factorcode.org>
Sat, 14 Oct 2023 00:31:46 +0000 (02:31 +0200)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 23 Oct 2023 17:28:52 +0000 (10:28 -0700)
commitc3e58ff7744e6cd14028a0b575bdc23a16830e54
tree73e06953b0f414a20038df81c962095f8468c5ce
parent158dbb1385986a908ae4155db3563869c7732bf4
Better?
core/sequences/sequences.factor