X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopment.shtml;h=13b803f02bf7cfa035171490ff9b975900907420;hb=5c0ced5c13852bcc93761859285efe4c5f0d2513;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