]> gitweb.factorcode.org Git - factor.git/commit
periodic-table: factor out the <element-button>
authorJohn Benediktsson <mrjbq7@gmail.com>
Sun, 3 Sep 2023 03:31:05 +0000 (20:31 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sun, 3 Sep 2023 03:31:05 +0000 (20:31 -0700)
commita562e321b0e86645cc8d7ec9ed7a0ed5159aa011
treeb4e6e2b8cde45404f2ad12b38bce83fbc85bbeb3
parentc26b2d29baea0bd3ee365eb34ee93a9fc3b5290b
periodic-table: factor out the <element-button>
extra/periodic-table/periodic-table.factor