]> matita.cs.unibo.it Git - helm.git/commitdiff
bugfix in one of the new colors :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 29 Sep 2011 20:09:19 +0000 (20:09 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 29 Sep 2011 20:09:19 +0000 (20:09 +0000)
helm/www/lambda_delta/download/crux_16.ico
helm/www/lambda_delta/download/crux_32.png

index c0a75e770a55c8909c52d71351d831d60af6259f..0a379ae4a6d91b53c4fc88e73a503d69abc7286f 100644 (file)
Binary files a/helm/www/lambda_delta/download/crux_16.ico and b/helm/www/lambda_delta/download/crux_16.ico differ
index a02312fb691121b1f9a25222dae5b08de8585544..dd760d8b2262563bc5e583be00e2b7d8c258aabe 100644 (file)
Binary files a/helm/www/lambda_delta/download/crux_32.png and b/helm/www/lambda_delta/download/crux_32.png differ