]> gitweb.factorcode.org Git - factor.git/commit
ui.tools.common: remove using
authorJohn Benediktsson <mrjbq7@gmail.com>
Thu, 2 Feb 2023 00:51:56 +0000 (16:51 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Thu, 2 Feb 2023 00:51:56 +0000 (16:51 -0800)
commit993ba94a92f899c15c6b8a9713c0391ef9cb1070
tree6c577e01ded4c6fb79ecd2834d174285e2385e55
parent6e7f0bbb26a2d2758cfadd16ffe9488a98a768d6
ui.tools.common: remove using
basis/ui/tools/common/common-docs.factor