From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 14 Dec 2005 10:40:20 +0000 (+0000)
Subject: rm .depend
X-Git-Tag: make_still_working~7997
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9877f543d688ccb5900077135ffd09add5a09757;p=helm.git

rm .depend
---

diff --git a/helm/matita/tests/bad_tests/.depend b/helm/matita/tests/bad_tests/.depend
deleted file mode 100644
index 8f040e5c7..000000000
--- a/helm/matita/tests/bad_tests/.depend
+++ /dev/null
@@ -1,6 +0,0 @@
-/home/sacerdot/.matita/xml/matita/tests/auto.moo: auto.ma /home/sacerdot/miohelm/matita/coq.moo
-auto.mo: /home/sacerdot/.matita/xml/matita/tests/auto.moo
-/home/sacerdot/.matita/xml/matita/tests/baseuri.moo: baseuri.ma
-baseuri.mo: /home/sacerdot/.matita/xml/matita/tests/baseuri.moo
-/home/sacerdot/.matita/xml/matita/tests/test2.moo: test2.ma /home/sacerdot/miohelm/matita/coq.moo
-test2.mo: /home/sacerdot/.matita/xml/matita/tests/test2.moo