Support --install-types --non-interactive that doesn't prompt#10616

Merged

JukkaL merged 1 commit intomasterfrom

install-stubs-non-interactive

Jun 10, 2021

Commits on Jun 10, 2021

Support --install-types --non-interactive that doesn't prompt
JukkaL
committed