]> gitweb.factorcode.org Git - factor.git/commit
periodic-table: split <element-label> and <element>
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 2 Sep 2023 22:55:50 +0000 (15:55 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 2 Sep 2023 22:55:50 +0000 (15:55 -0700)
commita56471c7974ce9e9fd923ed6109429dac8c1acbc
treeecc0933cffee0344a832b8067a38c312dd869981
parent56d04ee61b23ab514a2837b51fe013732c8b22a2
periodic-table: split <element-label> and <element>
extra/periodic-table/periodic-table.factor