]> matita.cs.unibo.it Git - helm.git/commit
- clear also .db db files
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Dec 2002 19:57:46 +0000 (19:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Dec 2002 19:57:46 +0000 (19:57 +0000)
commit12e7928b2ce2113d5ac43d453026d0443f58c5e4
tree38c09675cb26fdaa46dedeba7b6631968f9634cb
parenta96d06ae093236a3be8461912926903e81751578
- clear also .db db files
- added #close method
helm/http_getter/http_getter_map.ml
helm/http_getter/http_getter_map.mli