]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 502eecd) | patch
- removed ancient debugging prints
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jan 2005 16:18:13 +0000 (16:18 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 Jan 2005 16:18:13 +0000 (16:18 +0000)
commit34396aa0ba494f0be90c80c5421d3baa1ac1e5c4
tree9ab52e50e2c389dbea89641dd8178bb3caa1feaftree | snapshot
parent502eecdd0e3d63c7e1a647c633b588e738f0afcfcommit | diff
- removed ancient debugging prints
helm/ocaml/getter/http_getter.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.