diff options
author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2001-12-03 22:47:17 +0000 |
---|---|---|
committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2001-12-03 22:47:17 +0000 |
commit | 608f2ab17d1bade298b38af14bdb6aa8111c22c4 (patch) | |
tree | 9199febf6944e20b46dc303d0497c3287ea27a8f /otherlibs/win32unix/unixsupport.c | |
parent | ef3d334d4a207ad31d9c7f74f4cc3d5259047e49 (diff) |
correction commentaire
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4084 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/unixsupport.c')
0 files changed, 0 insertions, 0 deletions