]> gitweb.factorcode.org Git - factor.git/commit
gemini.ui: adding a MAIN:
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 16 Jan 2023 18:16:12 +0000 (10:16 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 16 Jan 2023 18:16:12 +0000 (10:16 -0800)
commitb137c32eaac8d3467c92d574fe68e9317566de70
tree6709f839466a3f15276068944dd5791c3824541f
parentcefb6ed27d5c9498908ceb1d4fad4e2d2e087e0e
gemini.ui: adding a MAIN:
extra/gemini/ui/ui.factor