]> gitweb.factorcode.org Git - factor.git/commit
Fixes ungraft and removes accidental duplication
authorKevin Cope <inivekin@gmail.com>
Mon, 17 May 2021 20:26:07 +0000 (04:26 +0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 25 Jan 2022 19:07:19 +0000 (11:07 -0800)
commit81b4c54fd4313296154ae6cd81b25a99430c532c
treece0a332d56a397204081e182aacc86bf094f6ded
parentaf9984b6e642648a6484bf4da23a0ab93c028c28
Fixes ungraft and removes accidental duplication
basis/ui/tools/button-list/button-list.factor
basis/ui/tools/tools.factor