From: Luca Padovani <luca.padovani@unito.it>
Date: Sat, 10 Nov 2001 19:17:19 +0000 (+0000)
Subject: .deps ignored
X-Git-Tag: uwobo_pre_ocaml~8
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=c688847f63eda7d7d1bbf95d3912e7b28b3f1e48;p=helm.git

.deps ignored
---

diff --git a/helm/helmpot/.cvsignore b/helm/helmpot/.cvsignore
index 356892530..876a62b4a 100644
--- a/helm/helmpot/.cvsignore
+++ b/helm/helmpot/.cvsignore
@@ -14,3 +14,4 @@ Makefile.in
 *.gz
 aclocal.m4
 *.spec
+.deps