diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-11-15 09:15:52 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-11-15 09:15:52 +0100 |
| commit | a2b02cb9142984b912bf01cea09449d767326f19 (patch) | |
| tree | 04e24ea1da942f698e6d0df96b15fe364a76d5a9 /pretyping/classops.mli | |
| parent | 6de27ad329867fb9d4c35e12ceb7f48901ef7585 (diff) | |
| parent | 1e34c34ec2a379b50389e54556fa10147ca5cf3c (diff) | |
Merge PR #6147: Change OCAMLRUNPARAM warning to mention OCaml 4.06
Diffstat (limited to 'pretyping/classops.mli')
0 files changed, 0 insertions, 0 deletions