X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMETAS%2F.cvsignore;h=4b7db4b80f283554baffbfc7ae932436260e9303;hb=9f60b3b0f4460aec52ec241037f6c475b421dd15;hp=7cbf63d51f38152ca60347c648f3386b55efb35d;hpb=94f7a64737db624ccf89e7be9a9c547ecaa718ac;p=helm.git

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