From: Stefano Zacchiroli Date: Wed, 19 Feb 2003 14:00:20 +0000 (+0000) Subject: rebuilt X-Git-Tag: V_0_0_4_1~28 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c3950a53015d0128440e110adae3ed3af7d07e3e;hp=5ea2b23ca5066b4e8fca18c2d526847fe38991cc;p=helm.git rebuilt --- diff --git a/helm/hbugs/common/.depend b/helm/hbugs/common/.depend index 8a128046c..e69de29bb 100644 --- a/helm/hbugs/common/.depend +++ b/helm/hbugs/common/.depend @@ -1,8 +0,0 @@ -hbugs_id_generator.cmo: hbugs_id_generator.cmi -hbugs_id_generator.cmx: hbugs_id_generator.cmi -hbugs_messages.cmo: hbugs_misc.cmi hbugs_types.cmo hbugs_messages.cmi -hbugs_messages.cmx: hbugs_misc.cmx hbugs_types.cmx hbugs_messages.cmi -hbugs_misc.cmo: hbugs_misc.cmi -hbugs_misc.cmx: hbugs_misc.cmi -hbugs_id_generator.cmi: hbugs_types.cmo -hbugs_messages.cmi: hbugs_types.cmo