From 320c8160281494f533649ed356ab88c1ffc3d6b8 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 4 Oct 2004 09:33:22 +0000 Subject: [PATCH] xmldiff's META --- helm/ocaml/METAS/meta.helm-xmldiff.src | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 helm/ocaml/METAS/meta.helm-xmldiff.src diff --git a/helm/ocaml/METAS/meta.helm-xmldiff.src b/helm/ocaml/METAS/meta.helm-xmldiff.src new file mode 100644 index 000000000..9cc918307 --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-xmldiff.src @@ -0,0 +1,4 @@ +requires="gdome2" +version="0.0.1" +archive(byte)="xmldiff.cma" +archive(native)="xmldiff.cmxa" -- 2.39.2