diff options
author | David Allsopp <david.allsopp@metastack.com> | 2022-09-27 08:09:41 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-27 09:09:41 +0200 |
commit | a21a8e4d9b2194222b50839bf8e5bef7a56ff0d8 (patch) | |
tree | 7c35c588e99910d8cd9e768a0e30be672f99883e /configure.ac | |
parent | 9ed098d5132b73bbcf24551cc87a20a2310818c2 (diff) | |
download | ocaml-a21a8e4d9b2194222b50839bf8e5bef7a56ff0d8.tar.gz |
Add ability to bootstrap flexdll on Jenkins CI (#11567)
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions