Niko Matsakis 1e6fdb45a2 try to use travis's builtin deploy workflow		2018-01-23 21:45:37 -05:00
..
github_pages.sh	try to use travis's builtin deploy workflow	2018-01-23 21:45:37 -05:00
install.sh	try pip install --user	2018-01-23 16:36:56 -05:00