Niko Matsakis a396e910dd make install.sh tell us what it is installing and why		2018-01-23 10:55:23 -05:00
..
github_pages.sh	make `github_pages.sh` more chatty	2018-01-23 10:50:31 -05:00
install.sh	make install.sh tell us what it is installing and why	2018-01-23 10:55:23 -05:00