From a0bf6c8a1701862cae5892930ce180f02805c206 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 18 Jun 2003 13:11:13 +0000 Subject: [PATCH] ... --- helm/ocaml/cic_proof_checking/.cvsignore | 2 ++ helm/ocaml/tactics/.cvsignore | 2 ++ 2 files changed, 4 insertions(+) diff --git a/helm/ocaml/cic_proof_checking/.cvsignore b/helm/ocaml/cic_proof_checking/.cvsignore index 1e0e8c7f0..333bd154e 100644 --- a/helm/ocaml/cic_proof_checking/.cvsignore +++ b/helm/ocaml/cic_proof_checking/.cvsignore @@ -1,2 +1,4 @@ *.cm[iaox] *.cmxa cicReduction.ml +.dep.dot +cic_proof_checking.ps diff --git a/helm/ocaml/tactics/.cvsignore b/helm/ocaml/tactics/.cvsignore index f83e2a8d0..8d98e3ef1 100644 --- a/helm/ocaml/tactics/.cvsignore +++ b/helm/ocaml/tactics/.cvsignore @@ -5,3 +5,5 @@ *.cmxa *.o *.a +.dep.dot +tactics.ps -- 2.39.2