Niko Matsakis cce6a28081 invert the sense of `command -v`		2018-01-23 10:59:11 -05:00
..
github_pages.sh	make `github_pages.sh` more chatty	2018-01-23 10:50:31 -05:00
install.sh	invert the sense of `command -v`	2018-01-23 10:59:11 -05:00