Skip to content

[build] set file extension for common ToolExe values#8267

Merged
jonpryor merged 1 commit intodotnet:mainfrom
jonathanpeppers:ToolExe
Aug 17, 2023
Merged

[build] set file extension for common `ToolExe` values#8267
jonpryor merged 1 commit intodotnet:mainfrom
jonathanpeppers:ToolExe

Commits

Commits on Aug 11, 2023