]> gitweb.factorcode.org Git - factor.git/commit
splitting.monotonic-docs: fix a copy-paste error
authorAlexander Iljin <ajsoft@yandex.ru>
Sat, 28 Nov 2020 15:10:47 +0000 (16:10 +0100)
committerDoug Coleman <doug.coleman@gmail.com>
Fri, 26 Feb 2021 00:22:31 +0000 (18:22 -0600)
commit1ccef063092640341d730781b5ef9995974ccbf2
treeb8f972827de5e55589a8b26a0d0eb3aba9d66547
parentcd81c31355f893dc732360070edbd93a85b6c7be
splitting.monotonic-docs: fix a copy-paste error
basis/splitting/monotonic/monotonic-docs.factor