From be675216486dca2252bc3f58f7ae0d5f4c6fae64 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 9 Feb 2004 17:05:59 +0000 Subject: [PATCH] added thread entry --- helm/ocaml/METAS/.cvsignore | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/ocaml/METAS/.cvsignore b/helm/ocaml/METAS/.cvsignore index 7cbf63d51..4b7db4b80 100644 --- a/helm/ocaml/METAS/.cvsignore +++ b/helm/ocaml/METAS/.cvsignore @@ -18,5 +18,6 @@ META.helm-pxp META.helm-registry META.helm-tactics META.helm-tex_cic_textual_parser +META.helm-thread META.helm-urimanager META.helm-xml -- 2.39.2