X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopers.shtml;h=c494b6ecb05547090448d64657b04b7130581265;hb=19849608a5bf22dc233abf5030745f3ea0fcd4c9;hp=e561e9b96d14f03a0170b8eb3713de14ab1edfea;hpb=40b52b5c45dddd534c3764645647e8ce9ca48024;p=helm.git diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml index e561e9b96..c494b6ecb 100644 --- a/helm/www/matita/developers.shtml +++ b/helm/www/matita/developers.shtml @@ -16,7 +16,7 @@

Current team members

@@ -24,7 +24,7 @@

Former members