From f291c05f71e438320aa35a1c668dd3173f374369 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 10 Jan 2003 09:45:57 +0000 Subject: [PATCH] rebuilt --- helm/hbugs/common/.depend | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/helm/hbugs/common/.depend b/helm/hbugs/common/.depend index 7276f7ba8..8a128046c 100644 --- a/helm/hbugs/common/.depend +++ b/helm/hbugs/common/.depend @@ -2,9 +2,7 @@ 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: http_client_smart.cmi hbugs_misc.cmi -hbugs_misc.cmx: http_client_smart.cmx hbugs_misc.cmi -http_client_smart.cmo: http_client_smart.cmi -http_client_smart.cmx: http_client_smart.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 -- 2.39.2