diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2009-03-28 14:24:53 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2009-03-28 14:24:53 +0000 |
| commit | 785a6d97484253a195b272fbb83998fdb6f28a27 (patch) | |
| tree | a8b331fa13a3ea94b063ee03b18b917858447375 /otherlibs/unix/write.c | |
| parent | 9e6bbde5aae9fe59521d9b88e4065e9d6e9cb3be (diff) | |
A simple fix to BR#4756
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9191 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/write.c')
0 files changed, 0 insertions, 0 deletions