From 9877f543d688ccb5900077135ffd09add5a09757 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 14 Dec 2005 10:40:20 +0000 Subject: [PATCH] rm .depend --- helm/matita/tests/bad_tests/.depend | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 helm/matita/tests/bad_tests/.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 -- 2.39.2