]> gitweb.factorcode.org Git - factor.git/commitdiff
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)
basis/definitions/icons/open-vocab.png
basis/definitions/icons/runnable-vocab.png
basis/definitions/icons/unopen-vocab.png

index ac805afd99c3eb0031cc0297929b372932319e79..9c6d479c6ddab52dcd4cf64d36108052d8c4dfd8 100644 (file)
Binary files a/basis/definitions/icons/open-vocab.png and b/basis/definitions/icons/open-vocab.png differ
index bc76f74d28f3adb89a3d8a4e15f2b8efb6a72fb2..07f530316624a7f53a620f63a87de540270d67aa 100644 (file)
Binary files a/basis/definitions/icons/runnable-vocab.png and b/basis/definitions/icons/runnable-vocab.png differ
index c9f5790f3e7deba7491f9bf17cf0296ea0e61c6e..2e49c09141968aebcc01ca6ee2faf7e94d5c2d80 100644 (file)
Binary files a/basis/definitions/icons/unopen-vocab.png and b/basis/definitions/icons/unopen-vocab.png differ