X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Fmatita%2Fdevelopers.shtml;h=85b831f394aa29b4afbf6c50d3e5668c4e55d397;hb=f98eeb911a76531c36d1da56e07eb48568f37734;hp=f99082eefed7eeab7d9a641b50c725052c96c706;hpb=727fa1f56c2e47203da5d232ad48b2fe02e63282;p=helm.git diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml index f99082eef..85b831f39 100644 --- a/helm/www/matita/developers.shtml +++ b/helm/www/matita/developers.shtml @@ -32,3 +32,4 @@ +