grouping-docs: remove a duplicate link
authorAlexander Ilin <alex.ilin@protonmail.com>
Mon, 25 Jul 2022 02:38:01 +0000 (04:38 +0200)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 20 Sep 2022 15:23:47 +0000 (08:23 -0700)
commita3984ccd64ea8cf9ecbb6a79e2303035f664e94f
tree6502f90cd95afc8009f37e1db9b4921e49609069
parentf3ee5c59792cef8f16021e30c6fcddf79939e55d
grouping-docs: remove a duplicate link
basis/grouping/grouping-docs.factor