From: Stefano Zacchiroli Date: Mon, 19 Apr 2004 12:10:03 +0000 (+0000) Subject: generalized META.* ignoring X-Git-Tag: dead_dir_walking~32 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=5be7066116273bfd4a419b65bf7695725a7bf475 generalized META.* ignoring --- 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.*