Skip to content

Update AppVeyor scripts#124

Merged
dra27 merged 2 commits intoocaml:masterfrom
MisterDA:appveyor
Nov 23, 2023
Merged

Update AppVeyor scripts#124
dra27 merged 2 commits intoocaml:masterfrom
MisterDA:appveyor

Commits

Commits on Nov 23, 2023