X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2FMETAS%2Fmeta.helm-syntax_extensions.src;h=eb25adac0f0b5971044415884ee893e4a75c60a8;hb=df8f668d1369432dbfb7c74a4c4789f3353fcb45;hp=5791bc2af25baee7949d97a332d69c32217082ab;hpb=4cdf45f08cd95641a094312ddc558320b874fa16;p=helm.git diff --git a/components/METAS/meta.helm-syntax_extensions.src b/components/METAS/meta.helm-syntax_extensions.src index 5791bc2af..eb25adac0 100644 --- a/components/METAS/meta.helm-syntax_extensions.src +++ b/components/METAS/meta.helm-syntax_extensions.src @@ -1,4 +1,4 @@ -requires="" +requires="str" version="0.0.1" archive(byte)="utf8_macros.cma" archive(native)="utf8_macros.cmxa"