Simon John 893adf7f98 Arduino changed the download link again, this time it uses a script, ... curl handles it ok luckily.		2014-11-08 02:51:39 +00:00
..
script	Arduino changed the download link again, this time it uses a script,	2014-11-08 02:51:39 +00:00