diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-27 15:15:08 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-27 15:15:08 +0000 |
| commit | 27aba4190528e08d85d732184610db9a66b8f399 (patch) | |
| tree | b8f45e6322874c1f374b26b7a07f88e505770024 /otherlibs/unix/chroot.c | |
| parent | ccc63c9e3efc782128388b9bf3086b97ce04bc99 (diff) | |
Simplification des itérateurs d'impression. Petit bug dans
l'impression des variantes polymorphes (on sautait un espace avant la
| mais pas après).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3001 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/chroot.c')
0 files changed, 0 insertions, 0 deletions