From 1f8d68b6ceb45a53d2327a3aa5b1c1703388ed94 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 13 Oct 2004 09:45:16 +0000 Subject: [PATCH] added alias for cic_textual_parser2 --- helm/ocaml/METAS/meta.helm-disambiguator.src | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 helm/ocaml/METAS/meta.helm-disambiguator.src diff --git a/helm/ocaml/METAS/meta.helm-disambiguator.src b/helm/ocaml/METAS/meta.helm-disambiguator.src new file mode 100644 index 000000000..cbff9bbcc --- /dev/null +++ b/helm/ocaml/METAS/meta.helm-disambiguator.src @@ -0,0 +1,4 @@ +description="alias for helm-cic_textual_parser2" +requires="helm-cic_textual_parser2" +version="0.0.1" +directory="/" -- 2.39.2