Open todd-dsm opened 2 years ago
The tools/zsh-shell-config.sh file seems unnecessary.
tools/zsh-shell-config.sh
The
tools/zsh-shell-config.sh
file seems unnecessary.