]> gitweb.factorcode.org Git - factor.git/commit
help.tour: a bit more formatting
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 16 Jan 2023 04:06:19 +0000 (20:06 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 16 Jan 2023 04:06:19 +0000 (20:06 -0800)
commitb26c6c2a3fb3ad6d1277267594fe1446add29178
tree02dcead4094eb213b554cd0c01d05699bca6eccf
parentc83eba1a63c73f097ce86b25e8ab4ec84183741d
help.tour: a bit more formatting
basis/help/tour/tour.factor