summaryrefslogtreecommitdiff
path: root/configure.ac
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-09-27 08:09:41 +0100
committerGitHub <noreply@github.com>2022-09-27 09:09:41 +0200
commita21a8e4d9b2194222b50839bf8e5bef7a56ff0d8 (patch)
tree7c35c588e99910d8cd9e768a0e30be672f99883e /configure.ac
parent9ed098d5132b73bbcf24551cc87a20a2310818c2 (diff)
downloadocaml-a21a8e4d9b2194222b50839bf8e5bef7a56ff0d8.tar.gz
Add ability to bootstrap flexdll on Jenkins CI (#11567)
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions