]> gitweb.factorcode.org Git - factor.git/commit
splitting.extras: use locals in (split*)
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Jan 2022 18:59:11 +0000 (10:59 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 11 Jan 2022 18:59:11 +0000 (10:59 -0800)
commit856e2307c4ae50052843ac6c4a3847742d1c505e
tree7131215ee680f921e45a37f496cc8a70f74a0816
parentae5a81683cb514a719fff7b7597e5a1e05cc3a06
splitting.extras: use locals in (split*)
extra/splitting/extras/extras.factor