...

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

diff --git a/helm/ocaml/tactics/.cvsignore b/helm/ocaml/tactics/.cvsignore
index f83e2a8d0d7b64297deffac88a0763aa92f15577..8d98e3ef1ab95148e08fe1a3ec91e1225643ddda 100644 (file)
--- a/helm/ocaml/tactics/.cvsignore
+++ b/helm/ocaml/tactics/.cvsignore
@@ -5,3 +5,5 @@
 *.cmxa
 *.o
 *.a
+.dep.dot
+tactics.ps