]> matita.cs.unibo.it Git - helm.git/commit
new colors for the crux ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 29 Sep 2011 19:49:44 +0000 (19:49 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 29 Sep 2011 19:49:44 +0000 (19:49 +0000)
commit12abb89e694fcd6eb012efea22e6e58495a0f927
tree298aa5cd68e8340460433c586b543a24ef8eea29
parent3476afc7e71ac34beec061b94cf712e5ff85802f
new colors for the crux ...
helm/www/lambda_delta/download/crux_16.ico
helm/www/lambda_delta/download/crux_32.png