From 0b360e3e0202f27b62f1d3804315b665aca1a15a Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 14 Mar 2003 18:54:05 +0000 Subject: [PATCH] ... --- helm/ocaml/.cvsignore | 1 + helm/ocaml/tex_cic_textual_parser/.cvsignore | 1 + 2 files changed, 2 insertions(+) create mode 100644 helm/ocaml/tex_cic_textual_parser/.cvsignore diff --git a/helm/ocaml/.cvsignore b/helm/ocaml/.cvsignore index b2ba0f678..9c6c4b023 100644 --- a/helm/ocaml/.cvsignore +++ b/helm/ocaml/.cvsignore @@ -3,6 +3,7 @@ META.helm-cic_annotations META.helm-cic_annotations_cache META.helm-cic_cache META.helm-cic_proof_checking +META.helm-tex_cic_textual_parser META.helm-cic_textual_parser META.helm-cic_unification META.helm-getter diff --git a/helm/ocaml/tex_cic_textual_parser/.cvsignore b/helm/ocaml/tex_cic_textual_parser/.cvsignore new file mode 100644 index 000000000..1569cb433 --- /dev/null +++ b/helm/ocaml/tex_cic_textual_parser/.cvsignore @@ -0,0 +1 @@ +*.cm[iaox] *.cmxa texCicTextualParser.ml texCicTextualParser.mli texCicTextualLexer.ml -- 2.39.2