X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambda_delta%2Fdownload%2Fcrux_32.png;fp=helm%2Fwww%2Flambda_delta%2Fdownload%2Fcrux_32.png;h=a02312fb691121b1f9a25222dae5b08de8585544;hb=12abb89e694fcd6eb012efea22e6e58495a0f927;hp=be5524e5eb0637de48d4b6fd5fb9376c6bbb9c38;hpb=3476afc7e71ac34beec061b94cf712e5ff85802f;p=helm.git

diff --git a/helm/www/lambda_delta/download/crux_32.png b/helm/www/lambda_delta/download/crux_32.png
index be5524e5e..a02312fb6 100644
Binary files a/helm/www/lambda_delta/download/crux_32.png and b/helm/www/lambda_delta/download/crux_32.png differ