]> gitweb.factorcode.org Git - factor.git/commit
documents.elements: adding some documentation.
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 3 Feb 2022 18:52:15 +0000 (10:52 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 3 Feb 2022 18:52:15 +0000 (10:52 -0800)
commit3073510f4f90234a507012deb18f31f2ac47d0fe
tree8d13db8ba7a23b7a326bec97c0d91969c87391af
parent46ef43b7b3b865313b388234f6fe3ba075ba5547
documents.elements: adding some documentation.
basis/documents/elements/elements-docs.factor