From: Ferruccio Guidi Date: Thu, 29 Sep 2011 20:27:55 +0000 (+0000) Subject: still new colors ... X-Git-Tag: make_still_working~2262 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=93ad0bc98a502397b5ba0334c0f7088da045fa2d;p=helm.git still new colors ... --- diff --git a/helm/www/lambda_delta/download/crux_16.ico b/helm/www/lambda_delta/download/crux_16.ico index 0a379ae4a..a24185351 100644 Binary files a/helm/www/lambda_delta/download/crux_16.ico and b/helm/www/lambda_delta/download/crux_16.ico differ diff --git a/helm/www/lambda_delta/download/crux_32.png b/helm/www/lambda_delta/download/crux_32.png index dd760d8b2..1a69cca73 100644 Binary files a/helm/www/lambda_delta/download/crux_32.png and b/helm/www/lambda_delta/download/crux_32.png differ