From aa9badffab0e029513c6afe7991af493d02bbe5b Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 9 Jun 2006 14:39:58 +0000 Subject: [PATCH] moved matita-bugs.ong -> matita-medium.png --- helm/www/matita/bugzilla.css | 2 +- .../images/{matita-bugs.png => matita-medium.png} | Bin 2 files changed, 1 insertion(+), 1 deletion(-) rename helm/www/matita/images/{matita-bugs.png => matita-medium.png} (100%) 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-medium.png similarity index 100% rename from helm/www/matita/images/matita-bugs.png rename to helm/www/matita/images/matita-medium.png -- 2.39.2