diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2003-03-24 15:24:51 +0000 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2003-03-24 15:24:51 +0000 |
commit | bba3cef902df56ae74dc1b26bdba973b43f66e93 (patch) | |
tree | 17b9b1842722c2cdcabc5d04d9426a865af4d27a /stdlib/arrayLabels.mli | |
parent | a6a2c80153ca69ba4ecf0cff14cca58a56fdb165 (diff) |
La gestion des @responsefile est maintenant faite en Caml. Penser a liberer le buffer utilise par system().
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5450 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/arrayLabels.mli')
0 files changed, 0 insertions, 0 deletions