From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 27 Dec 2002 10:47:22 +0000 (+0000)
Subject: - use and override debug_print from Http_getter_debugger
X-Git-Tag: v0_3_99~105
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b792dcc5228b5583d8a80f013f7ddc04ebc0609d;hp=b792dcc5228b5583d8a80f013f7ddc04ebc0609d;p=helm.git

- use and override debug_print from Http_getter_debugger
---