From: Claudio Sacerdoti Coen Date: Tue, 6 Mar 2001 16:10:16 +0000 (+0000) Subject: library3 ==> javascript X-Git-Tag: v0_1_2~94 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f79d66d3f1e28269afdeab16b78b21f7cecdbd65;p=helm.git library3 ==> javascript --- diff --git a/helm/cgi/mkcontrol.pl b/helm/cgi/mkcontrol.pl index 6e593d7d8..96c5c9522 100755 --- a/helm/cgi/mkcontrol.pl +++ b/helm/cgi/mkcontrol.pl @@ -38,7 +38,7 @@ Content-type: text/html Control panel - diff --git a/helm/cgi/mkheader.pl b/helm/cgi/mkheader.pl index a8e99754f..b3db1cfa3 100755 --- a/helm/cgi/mkheader.pl +++ b/helm/cgi/mkheader.pl @@ -27,7 +27,7 @@ Content-type: text/html Control panel - diff --git a/helm/cgi/mkindexcic.pl b/helm/cgi/mkindexcic.pl index 6f816d327..0033a512a 100755 --- a/helm/cgi/mkindexcic.pl +++ b/helm/cgi/mkindexcic.pl @@ -98,7 +98,7 @@ Content-type: text/html Index of $uri - diff --git a/helm/cgi/mkindextheory.pl b/helm/cgi/mkindextheory.pl index fc203ff0f..05bb5b925 100755 --- a/helm/cgi/mkindextheory.pl +++ b/helm/cgi/mkindextheory.pl @@ -87,7 +87,7 @@ Content-type: text/html Index of $uri -