]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c3a5a7) | patch
* split evil let definition (ic, oc) = ... into two subsequent
authorLuca Padovani <luca.padovani@unito.it>
Thu, 15 Jul 2004 07:20:46 +0000 (07:20 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 15 Jul 2004 07:20:46 +0000 (07:20 +0000)
commit741b3e9014f940fbbd34bee7b606ff7e72170452
treeb6fa7827b47ad49dd9d82d2fd2b4ec83e4d53b43tree | snapshot
parent6c3a5a7adc3f37ddfb99a69b050fbf324e95e583commit | diff
* split evil let definition (ic, oc) = ... into two subsequent
  definitions
* using Gzip.open_in_chan to avoid file descriptor leak
helm/ocaml/getter/http_getter_misc.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.