]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.button-list: fix help-lint
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 25 Jan 2022 20:57:24 +0000 (12:57 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 25 Jan 2022 20:57:24 +0000 (12:57 -0800)
commitba710d0fcbec068f9498fe915b644153ad896a2d
tree476f1ac083ec2d8237c08589ea95a0aa0b026320
parent7f6c5d1bae16a3c2c6884f498d85386471206e76
ui.tools.button-list: fix help-lint
basis/ui/tools/button-list/button-list-docs.factor