]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 219ad58) | patch
- slices of io.h from ocaml source tree to retrieve file descriptor
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Nov 2002 11:26:13 +0000 (11:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 29 Nov 2002 11:26:13 +0000 (11:26 +0000)
commit154e67890197ca44b5d323f48e30822c3f6703b9
treeafd12476540bcf786cd32478cab3acb0bfa0544dtree | snapshot
parent219ad582d6bd25a3c786bcebf6daf8f9501b3aa2commit | diff
- slices of io.h from ocaml source tree to retrieve file descriptor
  from channel structures
helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ocaml-io.h [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.