Skip to content

fix defaults for mingw builds#434

Merged
inducer merged 1 commit intoinducer:mainfrom
totaam:main
Jan 15, 2024
Merged

fix defaults for mingw builds#434
inducer merged 1 commit intoinducer:mainfrom
totaam:main

Commits

Commits on Jan 15, 2024