Skip to content

Fix env.sh zsh compatibility#705

Merged
davidbiancolin merged 1 commit intodevfrom fix-zsh-envNov 3, 2020

Commits

Commits on Nov 1, 2020