X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita_homepage%2Fdevelopers.html;h=085c73ab5f48f0d53460a18febf632acdb9f33eb;hb=bba4ac5f03b77ec80e15db081709a63999d952ab;hp=f6d9ab18137de50f7f8790214524db44fd8fdf6c;hpb=670cb5c17cf59b0b7c7f3e5a5e00797780284428;p=helm.git diff --git a/helm/matita_homepage/developers.html b/helm/matita_homepage/developers.html index f6d9ab181..085c73ab5 100644 --- a/helm/matita_homepage/developers.html +++ b/helm/matita_homepage/developers.html @@ -11,10 +11,10 @@