]> matita.cs.unibo.it Git - helm.git/blobdiff - daemons/on-line/README
1. the default encoding for the stylesheets is now UTF8
[helm.git] / daemons / on-line / README
diff --git a/daemons/on-line/README b/daemons/on-line/README
new file mode 100644 (file)
index 0000000..3d6d4d4
--- /dev/null
@@ -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).