3 Commits

Author	SHA1	Message	Date
Volker Berlin	ec96a8c9f8	Wabt has a slow release cycle then we can use ever the cached version.	2019-11-02 16:43:49 +01:00
Volker Berlin	f08b3d0869	Replace the github API for downloading WABT with web GUI because it is limit from Travis.	2019-02-23 14:06:36 +01:00
Volker Berlin	c43a571c30	download wabt tool	2019-02-12 21:16:34 +01:00