X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2Fmk_html.pl;h=a928cd5ade5c4cfafdf79afb79f71e90a20838ad;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=aa1cec3beca648d4d1c7c6e8ee2f00f0ee606112;hpb=86e5b0a0e79dddd8e3696305bd2db4feb9a0caca;p=helm.git diff --git a/helm/graphs/tools/mk_html.pl b/helm/graphs/tools/mk_html.pl index aa1cec3be..a928cd5ad 100755 --- a/helm/graphs/tools/mk_html.pl +++ b/helm/graphs/tools/mk_html.pl @@ -4,17 +4,15 @@ use URI::Escape; print < - + Graph