+
+
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fnews.html;h=5707823a2e8f26eaae6c9f9dedea5b91e3ed487b;hb=fe00a22101acb7995f8488a4434c4046bc540af0;hp=76152d9c50123468bdd10eed67dae48abb21e4a3;hpb=abd0169d8025bf4d613a612231ad5b0c4c1db009;p=helm.git diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 76152d9c5..5707823a2 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -23,7 +23,7 @@