]> gitweb.factorcode.org Git - factor.git/commit
definitions.icons: minor tweaks.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 19 May 2020 15:08:12 +0000 (08:08 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 19 May 2020 15:08:12 +0000 (08:08 -0700)
commit466f599d11b8fc39309b2cdcc0da58bea13be365
tree132ec4e02d49d6661f68f2cfcb846ef6870c5c34
parentdc584bb6713fb4bf1ea26a331b6942853ff79bb4
definitions.icons: minor tweaks.
basis/definitions/icons/open-vocab.png
basis/definitions/icons/runnable-vocab.png
basis/definitions/icons/unopen-vocab.png