]> gitweb.factorcode.org Git - factor.git/commit
help.syntax: treat $url differently
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 31 Oct 2022 04:18:22 +0000 (21:18 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 31 Oct 2022 04:18:22 +0000 (21:18 -0700)
commitf983c39b6344fc90685c05a3a63d1882e33ce12d
tree1a19749fd4f800b2154ba7f85a62f4fcf0c535f4
parent5ba9d22a95b03b8af82253afa2ae7eff84bb9d9b
help.syntax: treat $url differently
basis/help/syntax/syntax.factor