From 5be7066116273bfd4a419b65bf7695725a7bf475 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 19 Apr 2004 12:10:03 +0000 Subject: [PATCH] generalized META.* ignoring --- helm/ocaml/METAS/.cvsignore | 24 +----------------------- 1 file changed, 1 insertion(+), 23 deletions(-) diff --git a/helm/ocaml/METAS/.cvsignore b/helm/ocaml/METAS/.cvsignore index 4b7db4b80..e4ee23c44 100644 --- a/helm/ocaml/METAS/.cvsignore +++ b/helm/ocaml/METAS/.cvsignore @@ -1,23 +1 @@ -META.helm-cic -META.helm-cic_annotations -META.helm-cic_annotations_cache -META.helm-cic_cache -META.helm-cic_omdoc -META.helm-cic_proof_checking -META.helm-cic_textual_parser -META.helm-cic_textual_parser2 -META.helm-cic_transformations -META.helm-cic_unification -META.helm-getter -META.helm-logger -META.helm-mathql -META.helm-mathql_generator -META.helm-mathql_interpreter -META.helm-mathql_test -META.helm-pxp -META.helm-registry -META.helm-tactics -META.helm-tex_cic_textual_parser -META.helm-thread -META.helm-urimanager -META.helm-xml +META.* -- 2.39.2