From: Stefano Zacchiroli Date: Sat, 10 Jun 2006 16:26:33 +0000 (+0000) Subject: tiny version of the logo X-Git-Tag: make_still_working~7222 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=dbe540c9515537a47755e24e4c4bf97d7b234913;p=helm.git tiny version of the logo --- diff --git a/helm/www/matita/images/matita-tiny.png b/helm/www/matita/images/matita-tiny.png new file mode 100644 index 000000000..b67a5b533 Binary files /dev/null and b/helm/www/matita/images/matita-tiny.png differ