X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fgraphs%2Ftools%2Fmk_html.pl;h=a928cd5ade5c4cfafdf79afb79f71e90a20838ad;hb=3bb4ce11fb9d4c6375483a80344beb94c4517dd7;hp=6ca4d0bcf3caa819d58eaa87bc3424726e353f50;hpb=7a682312385646c38eb1c70d78c2dea127bd2dad;p=helm.git diff --git a/helm/graphs/tools/mk_html.pl b/helm/graphs/tools/mk_html.pl index 6ca4d0bcf..a928cd5ad 100755 --- a/helm/graphs/tools/mk_html.pl +++ b/helm/graphs/tools/mk_html.pl @@ -4,16 +4,14 @@ use URI::Escape; print < - + Graph