diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-27 15:13:04 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-27 15:13:04 +0000 |
| commit | 6e76318780dd76fa5e26337e972cfa8e551414e0 (patch) | |
| tree | 1060afd955636b733965efb43c0f83e0f7bf3ed5 /otherlibs/unix/chroot.c | |
| parent | 0f9683375ad2c9ee401743ab9d3548aa6720d949 (diff) | |
Bug de float_of_num 1/16: msd_ratio etait faux.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2999 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/chroot.c')
0 files changed, 0 insertions, 0 deletions