Qi Xiao 589a47ee27 Use "binaries" for the job of building binaries on Travis. ... We now use "deploy" to mean both the coverage job and the binary-building job.		2018-09-14 13:37:29 +01:00
..
binaries-travis.sh	Use "binaries" for the job of building binaries on Travis.	2018-09-14 13:37:29 +01:00
buildall.sh	_tools/buildall.sh: Actually build.	2018-09-14 00:35:08 +01:00