Skip to content

Fix generation of env.sh for zsh#435

Merged
davidbiancolin merged 1 commit intodevfrom fix-init-zshFeb 15, 2020

Commits

Commits on Feb 15, 2020