From: Ferruccio Guidi Date: Thu, 29 Sep 2011 20:09:19 +0000 (+0000) Subject: bugfix in one of the new colors :) X-Git-Tag: make_still_working~2263 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d00e2449ed028bed0dd58424c4f145fae82e2673;p=helm.git bugfix in one of the new colors :) --- diff --git a/helm/www/lambda_delta/download/crux_16.ico b/helm/www/lambda_delta/download/crux_16.ico index c0a75e770..0a379ae4a 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 a02312fb6..dd760d8b2 100644 Binary files a/helm/www/lambda_delta/download/crux_32.png and b/helm/www/lambda_delta/download/crux_32.png differ