From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 9 Jun 2006 16:16:02 +0000 (+0000)
Subject: scaled down
X-Git-Tag: make_still_working~7239
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=379940541ddc8f917c5a002810a62e4bcad6e83c;p=helm.git

scaled down
---

diff --git a/helm/www/matita/images/matita-small.png b/helm/www/matita/images/matita-small.png
index 52519bfe0..f6a234f2a 100644
Binary files a/helm/www/matita/images/matita-small.png and b/helm/www/matita/images/matita-small.png differ