]> gitweb.factorcode.org Git - factor.git/commit
splitting.monotonic-docs: fix a copy-paste error
authorAlexander Ilin <alex.ilin@protonmail.com>
Fri, 23 Feb 2024 22:12:23 +0000 (23:12 +0100)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 24 Feb 2024 00:33:45 +0000 (16:33 -0800)
commit0de57b862fc174b08c1bd967dfe1c3575ba67183
tree80323dc32a75bc166c08ecee707d19267b5ca6dc
parent51100fd53e3547dbec1f4a071af48369d58f5a71
splitting.monotonic-docs: fix a copy-paste error
basis/splitting/monotonic/monotonic-docs.factor