From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 20 Jan 2006 10:17:12 +0000 (+0000)
Subject: added a smaller version of the icon
X-Git-Tag: make_still_working~7798
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=139f62a4d0444cde883db8803f6b62b3c9d12bcd;p=helm.git

added a smaller version of the icon
---

diff --git a/helm/matita/icons/matita_very_small.png b/helm/matita/icons/matita_very_small.png
new file mode 100644
index 000000000..5a6807126
Binary files /dev/null and b/helm/matita/icons/matita_very_small.png differ