]> gitweb.factorcode.org Git - factor.git/commit
help.tips: use https
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 20 Jan 2023 17:58:35 +0000 (09:58 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 20 Jan 2023 17:58:35 +0000 (09:58 -0800)
commit34011b4f59f247355979b05539758fcd7c016028
tree3ddac92a26ccc893a9336e44f7bcae0b141a6a5b
parent25236d56df9b39c607a6af75d4e16273201031bd
help.tips: use https
basis/help/tips/tips-docs.factor