Skip to content

Add a command-line option to set the default build type.#1231

Closed
teo-tsirpanis wants to merge 5 commits intomicrosoft:mainfrom
teo-tsirpanis:build-type
Closed

Add a command-line option to set the default build type.#1231
teo-tsirpanis wants to merge 5 commits intomicrosoft:mainfrom
teo-tsirpanis:build-type

Commits

Commits on Oct 13, 2023