diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 16:40:08 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-01-09 16:40:33 +0100 |
| commit | 37817bb5ac6bb9fa9a4d67a5604a35424f7b343d (patch) | |
| tree | f3ea38d5d0e3a4d5cde5548eb8227e5549159772 /lib/aux_file.ml | |
| parent | c1ad8fa3eadba95691248cd5cd9c2e2efbe6e215 (diff) | |
OCaml's -dtypes flag is deprecated and replaced by -annot.
Diffstat (limited to 'lib/aux_file.ml')
0 files changed, 0 insertions, 0 deletions