From: Claudio Sacerdoti Coen Date: Thu, 31 Oct 2002 16:56:25 +0000 (+0000) Subject: ... X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~1 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=515c1195a3b3ff86bf002091b4535bc812aa40ea;p=helm.git ... --- diff --git a/helm/metadata/create_V7_mowgli/touch/.depend b/helm/metadata/create_V7_mowgli/touch/.depend new file mode 100644 index 000000000..e69de29bb