From: Claudio Sacerdoti Coen Date: Tue, 30 May 2006 16:50:33 +0000 (+0000) Subject: 1. the default encoding for the stylesheets is now UTF8 X-Git-Tag: 0.4.95@7852~1377 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5e6514baae1be6e18b9fe8b6c99d61cfa62cdabc;p=helm.git 1. the default encoding for the stylesheets is now UTF8 2. committed a few changes in search.xsl that had never been committed before --- diff --git a/daemons/on-line/README b/daemons/on-line/README new file mode 100644 index 000000000..3d6d4d49e --- /dev/null +++ b/daemons/on-line/README @@ -0,0 +1,2 @@ +All these files are directly served by Apache (or a redirect demon +as the one in /projects/helm/utils or webfsd). diff --git a/daemons/on-line/html/cic/control.html b/daemons/on-line/html/cic/control.html index 8e6aeaf1f..f77371025 100644 --- a/daemons/on-line/html/cic/control.html +++ b/daemons/on-line/html/cic/control.html @@ -96,7 +96,7 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex }