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: make_still_working~7273 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=660edb2841e2ef78363d869c4c730dfa8b6613a9;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/helm/software/daemons/on-line/README b/helm/software/daemons/on-line/README new file mode 100644 index 000000000..3d6d4d49e --- /dev/null +++ b/helm/software/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/helm/software/daemons/on-line/html/cic/control.html b/helm/software/daemons/on-line/html/cic/control.html index 8e6aeaf1f..f77371025 100644 --- a/helm/software/daemons/on-line/html/cic/control.html +++ b/helm/software/daemons/on-line/html/cic/control.html @@ -96,7 +96,7 @@ h2.uri { margin-top: 0ex; margin-bottom: 0ex }