]> gitweb.factorcode.org Git - factor.git/commit
editors: don't have docs USE: editors.gedit
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 9 Jan 2023 15:55:36 +0000 (07:55 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 9 Jan 2023 15:55:36 +0000 (07:55 -0800)
commit89dc4c37da33ad63530390bdd048d4ba1d6abf9a
treef95aefc663a046fbbd81f41bbbed7c62941d184c
parenta6911ba2971d6fc7c625973722924a932e68fdf5
editors: don't have docs USE: editors.gedit
basis/editors/editors-docs.factor