X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcgi%2Fmkcontrol.pl;h=96c5c952274d3f9862a15bc9a300d14a807c78bc;hb=2ad14dd8ca7dde8d3a5a33ebc466d3ea77b4b6c6;hp=6e593d7d8d840b2a06906a29eaa06f26b2b15e16;hpb=d122e00855f9f44ac0d268e96cbe7b3dccd04db1;p=helm.git
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
-