]> gitweb.factorcode.org Git - factor.git/commit
splitting.monotonic-docs: update documentation
authorAlexander Iljin <ajsoft@yandex.ru>
Wed, 18 Jan 2017 10:51:16 +0000 (13:51 +0300)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 20 Jan 2017 16:21:54 +0000 (08:21 -0800)
commitb5c71c48467de6ea0873092b491585d8db5ec26a
tree08fc0b1ae112aa67caa84d7801f0d2602bb0581c
parent908ff65befe219bee4c8d5410a82607445ad4b9c
splitting.monotonic-docs: update documentation
basis/splitting/monotonic/monotonic-docs.factor