]> gitweb.factorcode.org Git - factor.git/commit
colors: some cleanup, adding ?named-color
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 2 May 2023 20:58:55 +0000 (13:58 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 2 May 2023 20:58:55 +0000 (13:58 -0700)
commit003159b630af16b819fb9a825883ad6c33ee3e8f
tree117d9da358bbaa1ab1e6beba3d63c73cf47958b4
parent5b991ef243871ef09672b359265abaa0962e5ebd
colors: some cleanup, adding ?named-color
basis/colors/colors.factor