X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcgi%2Fmkheader.pl;h=b3db1cfa33d9708d22a93d91ddada5bb9f5006a8;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=a8e99754f5b1ff52af90f1b381746c96723210bc;hpb=d122e00855f9f44ac0d268e96cbe7b3dccd04db1;p=helm.git
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
-