diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-06-17 08:53:03 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-06-17 08:53:03 +0000 |
| commit | 9d3592791cde79cee4a77e3a0b8aca0e828f7ff1 (patch) | |
| tree | 770d4f6bc44e3f89b5c379ef6d7f3d0541f0dbe9 /byterun/unix.c | |
| parent | d53e2b57b26b2d49d32f3ea65ab6248532488662 (diff) | |
Fix #5811 as suggested. (Merge 13792 from 4.01.)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13793 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/unix.c')
0 files changed, 0 insertions, 0 deletions