diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 1998-11-05 08:07:15 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 1998-11-05 08:07:15 +0000 |
| commit | 7298911eae8f0df735966b3a247ec5f25644839c (patch) | |
| tree | c487b5d52ebdc170114141dbd7861f28384683af /byterun/sys.c | |
| parent | af0a7574c84487e9143b8c82d883af457b9b4155 (diff) | |
Ajout du warning de la séquence et pilotage des warnings par l'utilisateur.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/sys.c')
0 files changed, 0 insertions, 0 deletions