diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-09-04 12:06:05 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-09-04 12:06:05 +0000 |
| commit | 65df484b048958ff4498badc7490bb34bf65b7e5 (patch) | |
| tree | 7760bf3b73f96a904b5b16fd7d5f42e02ecc1eb6 /otherlibs/unix | |
| parent | 6ce2dd362f1ebda783ebbb2aa855f5b149c0240e (diff) | |
Rectification option -S.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@242 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix')
0 files changed, 0 insertions, 0 deletions