]> gitweb.factorcode.org Git - factor.git/commit
grouping.extras: tweak some documentation for n-group
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 27 Oct 2023 16:49:22 +0000 (09:49 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 27 Oct 2023 16:49:22 +0000 (09:49 -0700)
commit70bf64069120f1a5f1677eff0ef9739871a1d50b
treea5540fa8f5d24cb09408ff7699c717fc7aecb441
parent86fb2639fbb4a58c0142ca67b2d61fd7fba91c9e
grouping.extras: tweak some documentation for n-group
extra/grouping/extras/extras-docs.factor