https://pulumi.com logo
h

hundreds-musician-51496

11/19/2018, 6:25 PM
What's the best way to reinstall pulumi binaries (Windows)? Should I just delete ~\.pulumi and run the powershell script again?