diff options
| author | Gaëtan Gilbert | 2020-07-01 09:36:03 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-07-01 09:36:03 +0200 |
| commit | 69e798fb97487b3a83de3486084a112413850fdf (patch) | |
| tree | 617f27e30ee39c63f00d652caf110794244f98e8 /engine/evarutil.ml | |
| parent | 119b2188a00530ba85cba37bef981a0c8549661a (diff) | |
| parent | 2168f9e8b95f4e48d9e6ea61e44523977e56be3e (diff) | |
Merge PR #12616: [ci] Disable the OCaml 4.12 target
Reviewed-by: SkySkimmer
Diffstat (limited to 'engine/evarutil.ml')
0 files changed, 0 insertions, 0 deletions