From 3457dc77edee1d1f683bcabea4eafc9110e757c2 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 14 Jan 2004 18:01:32 +0000 Subject: [PATCH] added logger's META --- helm/ocaml/METAS/.cvsignore | 1 + helm/ocaml/METAS/meta.helm-logger.src | 5 +++++ 2 files changed, 6 insertions(+) create mode 100644 helm/ocaml/METAS/meta.helm-logger.src diff --git a/helm/ocaml/METAS/.cvsignore b/helm/ocaml/METAS/.cvsignore index e9a597698..7dbd94a33 100644 --- a/helm/ocaml/METAS/.cvsignore +++ b/helm/ocaml/METAS/.cvsignore @@ -18,3 +18,4 @@ META.helm-urimanager META.helm-xml META.helm-cic_transformations META.helm-cic_omdoc +META.helm-logger diff --git a/helm/ocaml/METAS/meta.helm-logger.src b/helm/ocaml/METAS/meta.helm-logger.src new file mode 100644 index 000000000..ad2b4e807 --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-logger.src @@ -0,0 +1,5 @@ +requires="lablgtk2" +version="0.0.1" +archive(byte)="logger.cma" +archive(native)="logger.cmxa" +linkopts="" -- 2.39.2