]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6aa794e) | patch
- updated META dependencies (no more dbm, no more shell)
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 15:49:32 +0000 (15:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 6 Jul 2005 15:49:32 +0000 (15:49 +0000)
commitb84c60ff48a21a62a08e636f32cf0df46dfbe45a
treeaeb6facec7b1e8285ad585a37b6264306b1a6f72tree | snapshot
parent6aa794e8959bd732e7caf27a599174b1d45eaa3dcommit | diff
- updated META dependencies (no more dbm, no more shell)
- removed module Http_getter_map
helm/ocaml/METAS/meta.helm-getter.src diff | blob | history
helm/ocaml/getter/Makefile diff | blob | history
helm/ocaml/getter/http_getter_map.ml [deleted file] blob | history
helm/ocaml/getter/http_getter_map.mli [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.