diff options
| author | Gaetan Gilbert | 2017-05-05 14:24:23 +0200 |
|---|---|---|
| committer | Gaetan Gilbert | 2017-05-17 09:13:58 +0200 |
| commit | d8d56dfadc571fdf23ff9f8cb97d4c8cd96691ee (patch) | |
| tree | 6cc1428be94b4a8c7392482ff69e42599ba8e6ab /dev/ci/ci-basic-overlay.sh | |
| parent | 8252ff7ef7159a2493dd5ac76a647a8b96a5a692 (diff) | |
Travis: add -warn-error targets (standard and 4.04.1 ocaml)
Diffstat (limited to 'dev/ci/ci-basic-overlay.sh')
0 files changed, 0 insertions, 0 deletions