diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-09-14 11:52:50 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-09-14 11:52:50 +0000 |
| commit | d2f75f7f8b9ca50c8746376fbd67d48c6c483ce5 (patch) | |
| tree | 0cf468e27d4b9c617a40d4c0c8b4451d90dc5a1f /otherlibs/unix | |
| parent | 09fb8169aa13d7b58276075ee13e825729bbde66 (diff) | |
Ajout primitive get_current_environment pour la trace.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@272 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
0 files changed, 0 insertions, 0 deletions