X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fxhtml-header.shtml;h=3bfa720fb6b42ccd0c47c2403ab34a52b0d5cfca;hb=50a9ed8c6207145fccf59e6a5dbbff935cd2c6d7;hp=ad156d65104333e228904b5df3ccc93616ff915f;hpb=2a60d8bb599605a8f6a132f4a016b21de39b16d2;p=helm.git diff --git a/helm/www/matita/xhtml-header.shtml b/helm/www/matita/xhtml-header.shtml index ad156d651..3bfa720fb 100644 --- a/helm/www/matita/xhtml-header.shtml +++ b/helm/www/matita/xhtml-header.shtml @@ -1,5 +1,5 @@ - +