]> gitweb.factorcode.org Git - factor.git/commit
ui.tools: tweak the ui-cocoa article
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 30 Jan 2023 16:42:22 +0000 (08:42 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 30 Jan 2023 16:42:22 +0000 (08:42 -0800)
commit6e72f89d253fa637bf2c6b4790217864c68f7e31
tree9d01fe1ba5694b48de82a4729d7137eccdd446a1
parente75573761fb01d3d1a20d0a31d1ef0edfce630e4
ui.tools: tweak the ui-cocoa article
basis/ui/tools/tools-docs.factor