Skip to content

Allow configuration of shell used for shell out#511

Merged
denisidoro merged 2 commits intomasterfrom navi-shellApr 15, 2021

Commits

Commits on Apr 15, 2021