X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2F.cvsignore;fp=helm%2Focaml%2Ftactics%2F.cvsignore;h=8d98e3ef1ab95148e08fe1a3ec91e1225643ddda;hb=a0bf6c8a1701862cae5892930ce180f02805c206;hp=f83e2a8d0d7b64297deffac88a0763aa92f15577;hpb=94768368c6ec74fd86e80ae792e8d311d6d84cb4;p=helm.git

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