X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fdevelopers.shtml;h=6b954b74da4957c9f1b8aac7bc556621acb87bca;hb=41d76f1dd8a3e5d67785900e6208eb80bf75cc9e;hp=f99082eefed7eeab7d9a641b50c725052c96c706;hpb=727fa1f56c2e47203da5d232ad48b2fe02e63282;p=helm.git diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml index f99082eef..6b954b74d 100644 --- a/helm/www/matita/developers.shtml +++ b/helm/www/matita/developers.shtml @@ -16,19 +16,16 @@

Former members

- -

Students, developers and contributors

- +