]> matita.cs.unibo.it Git - helm.git/commit
- removed debug_print, now in Http_getter_debugger
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 Dec 2002 10:46:53 +0000 (10:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 Dec 2002 10:46:53 +0000 (10:46 +0000)
commit4ace89abf7aa639ebadeff1f4812a59087e87ea4
treeec42daf3205d42e75703b0594d93f76133f69e9e
parent386ef7982219467087f0bfe69a0fb505e83bd14f
- removed debug_print, now in Http_getter_debugger
helm/http_getter/http_getter_map.ml