META files are now automatically generated from META-*.src files.

[helm.git] / helm / ocaml / .cvsignore

diff --git a/helm/ocaml/.cvsignore b/helm/ocaml/.cvsignore
new file mode 100644 (file)
index 0000000..68dd36d
--- /dev/null
+++ b/helm/ocaml/.cvsignore
@@ -0,0 +1 @@
+META.helm-cic META.helm-getter META.helm-cic_annotations META.helm-pxp META.helm-cic_annotations_cache META.helm-urimanager META.helm-cic_cache META.helm-xml META.helm-cic_proof_checking