diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-03-27 11:42:54 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-03-27 11:42:54 +0000 |
commit | a734dd4b75ddc4654e9619ae7df544508bb3dc0b (patch) | |
tree | 65b78ad8e7896637f4d18aa118f40fe1d2200eaa /otherlibs/unix/chroot.c | |
parent | f5442aa165c9b96a555317655f1e814488af1744 (diff) |
Adaptation de #load au nouveau format de .cma
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2996 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/chroot.c')
0 files changed, 0 insertions, 0 deletions