Michael Bryan 38c06f3c39 Removed all the unnecessary CI jobs		2018-04-07 06:15:26 +08:00
..
before_deploy.sh	Removed all the unnecessary CI jobs	2018-04-07 06:15:26 +08:00
github_pages.sh	Workaround for travis-ci/travis-ci#4704 (#529)	2018-01-06 04:47:59 +08:00
install.sh	Update travis CI (#516)	2017-12-30 19:15:17 +08:00