win: add prompt to tools installation script - #23987
Closed
joaocgreis wants to merge 4 commits into
Closed
joaocgreis wants to merge 4 commits into
joaocgreis wants to merge 4 commits into
Commits
Commits on Oct 31, 2018
- authored andcommitted
- committed
- committed
