]> matita.cs.unibo.it Git - helm.git/commit
fooish module for 'debug_print'
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 Dec 2002 10:44:17 +0000 (10:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 Dec 2002 10:44:17 +0000 (10:44 +0000)
commit5b6bfdb5e3e9641c2697258d65db154868c0ce79
tree3c55e906aa8393eefa0ddb5dd86e65c275149f8e
parentd599c257fed6a37da72494676ed24315a6d8b2fb
fooish module for 'debug_print'
helm/http_getter/http_getter_debugger.ml [new file with mode: 0644]
helm/http_getter/http_getter_debugger.mli [new file with mode: 0644]