X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=13b803f02bf7cfa035171490ff9b975900907420;hb=9715b30b0c1649b4a302e24946fc4ffabeafbd3f;hp=69b49ee5fa833fb71cacb5df2d2fec37e4d17344;hpb=884876e28023324f68c97f1e387431d21b0a6453;p=helm.git diff --git a/helm/www/matita/development.shtml b/helm/www/matita/development.shtml index 69b49ee5f..13b803f02 100644 --- a/helm/www/matita/development.shtml +++ b/helm/www/matita/development.shtml @@ -1,6 +1,6 @@ - - + + Matita Developers