From eecb3af3e4e3a63bedfae9ddda5bf87bcbcb77f4 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 27 Apr 2005 13:50:23 +0000 Subject: [PATCH] cvsignore --- helm/ocaml/cic_proof_checking/utilities/.cvsignore | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 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 new file mode 100644 index 000000000..3998fcc5b --- /dev/null +++ b/helm/ocaml/cic_proof_checking/utilities/.cvsignore @@ -0,0 +1,7 @@ +*.cm[iaox] *.cmxa +create_environment +create_environment.opt +list_uris +list_uris.opt +parse_library +parse_library.opt -- 2.39.2