Skip to content

Test dune exec -- wrt file path, public_name with or without .exe#4371

Merged
rgrinberg merged 1 commit intoocaml:mainfrom MisterDA:windows-public_name-exeMay 1, 2021
+132-3

Commits

Commits on May 1, 2021