]> gitweb.factorcode.org Git - factor.git/commit
grouping.extras: slightly slower but easier to maintain.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 16 Dec 2020 18:11:59 +0000 (10:11 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 16 Dec 2020 18:11:59 +0000 (10:11 -0800)
commitd1d4fd1db1520bed57c0f00c555fa6fb9e507d07
treeae56885b24dbd672ff19e122e48c3dadfef33bd0
parent43f53f2cc012ca029ebb84adb7f522c8a69437fe
grouping.extras: slightly slower but easier to maintain.
extra/grouping/extras/extras.factor