diff options
| author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2021-01-28 10:13:09 +0100 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2021-01-28 12:05:52 +0100 |
| commit | dbd742824115c3bff55ecbee71d18138acaccd98 (patch) | |
| tree | 340c939e47efc346efce838c33e995f93f91bc98 /toplevel/opttoploop.mli | |
| parent | 3ac60b616bcddd9bd11dca18a725f50c4cffc5a4 (diff) | |
| download | ocaml-dbd742824115c3bff55ecbee71d18138acaccd98.tar.gz | |
Inria CI: make sure this 4.11 branch is not run on Solaris
(cherry picked from commit 988af8bfe63d461c48fa5d3418ecd2e30bc543b3)
Diffstat (limited to 'toplevel/opttoploop.mli')
0 files changed, 0 insertions, 0 deletions