X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2Ffix_rdf.pl;h=23b4b7fda2f6f438dd039eae7d1d7f687b96c10b;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=3d52c0fc90294bc6e97dcb54c06d27e8935dab60;hpb=39bbffb9b48d93517cd0de07ee677eba1dd94576;p=helm.git diff --git a/helm/metadata/create_V7_mowgli/fix_rdf.pl b/helm/metadata/create_V7_mowgli/fix_rdf.pl index 3d52c0fc9..23b4b7fda 100755 --- a/helm/metadata/create_V7_mowgli/fix_rdf.pl +++ b/helm/metadata/create_V7_mowgli/fix_rdf.pl @@ -12,7 +12,13 @@ open(HEADER,">>$outputfile"); print HEADER < - + + + + + ]> + EOT close(HEADER);