Niko Matsakis 6fa9b703bf try pip install --user		2018-01-23 16:36:56 -05:00
..
github_pages.sh	make `github_pages.sh` more chatty	2018-01-23 10:50:31 -05:00
install.sh	try pip install --user	2018-01-23 16:36:56 -05:00