]> gitweb.factorcode.org Git - factor.git/commit
ui.gadgets.comboboxes: fix help-lint
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 23 Oct 2023 23:28:09 +0000 (16:28 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 23 Oct 2023 23:28:09 +0000 (16:28 -0700)
commit3553f50209c66b5683c8c8032ea0fa062db9bb09
treecf217359e95f6e107c8756569abf43fc59a41ff9
parentc0a56c9c3fd28124191739ec6caf40b2f7926d23
ui.gadgets.comboboxes: fix help-lint
extra/ui/gadgets/comboboxes/comboboxes-docs.factor