]> gitweb.factorcode.org Git - factor.git/commit
help: fix suggestion from discord
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 4 Dec 2023 19:50:18 +0000 (11:50 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 4 Dec 2023 19:50:40 +0000 (11:50 -0800)
commitfb52409d060f0a1a07c1e66487dcc6a108dc05f6
tree83b0cd4396642b620b52cef62514d5bfef35025c
parentef4ab004b126ef6abdd5d6329b755c27c7cd50e0
help: fix suggestion from discord
basis/help/help-docs.factor