]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 37f3d72) | patch
- bugfix: removed Http_types -> Http_types dep
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Dec 2002 08:46:25 +0000 (08:46 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Dec 2002 08:46:25 +0000 (08:46 +0000)
commit9175623e876ce8ac551c5af96e9836f5347b877c
treef7aae7fb9921be24ebaace3ddc64f05062d87cbbtree | snapshot
parent37f3d7291d4260eb0bc5e6e26afae557f324e587commit | diff
- bugfix: removed Http_types -> Http_types dep
helm/DEVEL/ocaml-http/http_types.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.