Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

depend on zsh publicly, and sh where possible #31

Merged
merged 1 commit into from Jul 16, 2012
Commits on Jul 10, 2012