From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 9 Jun 2006 14:39:58 +0000 (+0000)
Subject: moved matita-bugs.ong -> matita-medium.png
X-Git-Tag: make_still_working~7246
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=aa9badffab0e029513c6afe7991af493d02bbe5b;p=helm.git

moved matita-bugs.ong -> matita-medium.png
---

diff --git a/helm/www/matita/bugzilla.css b/helm/www/matita/bugzilla.css
index 781c603b1..5638fb0d3 100644
--- a/helm/www/matita/bugzilla.css
+++ b/helm/www/matita/bugzilla.css
@@ -7,5 +7,5 @@ div#page-index .intro
   margin-right: 2.3em;
   float: right;
 
-  background: transparent no-repeat url(http://matita.cs.unibo.it/images/matita-bugs.png);
+  background: transparent no-repeat url(http://matita.cs.unibo.it/images/matita-medium.png);
 }
diff --git a/helm/www/matita/images/matita-bugs.png b/helm/www/matita/images/matita-bugs.png
deleted file mode 100644
index b91dfa986..000000000
Binary files a/helm/www/matita/images/matita-bugs.png and /dev/null differ
diff --git a/helm/www/matita/images/matita-medium.png b/helm/www/matita/images/matita-medium.png
new file mode 100644
index 000000000..b91dfa986
Binary files /dev/null and b/helm/www/matita/images/matita-medium.png differ