From 321eacf25e6a8580215a5701eeadb0b55ba562ba Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 2 May 2001 14:21:35 +0000 Subject: [PATCH] .cvsignore files missing --- helm/xmltheory/Coq_v2theoryxml/.cvsignore | 1 + helm/xmltheory/XmlTheory/.cvsignore | 1 + 2 files changed, 2 insertions(+) create mode 100644 helm/xmltheory/Coq_v2theoryxml/.cvsignore create mode 100644 helm/xmltheory/XmlTheory/.cvsignore diff --git a/helm/xmltheory/Coq_v2theoryxml/.cvsignore b/helm/xmltheory/Coq_v2theoryxml/.cvsignore new file mode 100644 index 000000000..e4a3d5419 --- /dev/null +++ b/helm/xmltheory/Coq_v2theoryxml/.cvsignore @@ -0,0 +1 @@ +coq_v2theoryxml *.cmi *.cmo diff --git a/helm/xmltheory/XmlTheory/.cvsignore b/helm/xmltheory/XmlTheory/.cvsignore new file mode 100644 index 000000000..1921ec2e1 --- /dev/null +++ b/helm/xmltheory/XmlTheory/.cvsignore @@ -0,0 +1 @@ +*.cmi *.cmo *.vo -- 2.39.2