.cvsignore files removed (the svn:property property is used instead)

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

diff --git a/helm/ocaml/cic_proof_checking/utilities/.cvsignore b/helm/ocaml/cic_proof_checking/utilities/.cvsignore
deleted file mode 100644 (file)
index 3998fcc..0000000
--- a/helm/ocaml/cic_proof_checking/utilities/.cvsignore
+++ /dev/null
@@ -1,7 +0,0 @@
-*.cm[iaox] *.cmxa
-create_environment
-create_environment.opt
-list_uris
-list_uris.opt
-parse_library
-parse_library.opt