From: Wilmer Ricciotti Date: Wed, 22 Jun 2011 12:58:55 +0000 (+0000) Subject: Fix in matitaweb:index.html. X-Git-Tag: make_still_working~2408 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c64ca037e5e1e70d821d390c6297f32e847a1d90;p=helm.git Fix in matitaweb:index.html. --- diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html index fa5b27918..ea4d54951 100644 --- a/matitaB/matita/index.html +++ b/matitaB/matita/index.html @@ -57,7 +57,7 @@