added thread entry

diff --git a/helm/ocaml/METAS/.cvsignore b/helm/ocaml/METAS/.cvsignore
index 7cbf63d51f38152ca60347c648f3386b55efb35d..4b7db4b80f283554baffbfc7ae932436260e9303 100644 (file)
--- 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