mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-30 19:52:13 +01:00
Updated Wifi101 firmware updater to ver 0.8.2
This commit is contained in:
parent
aff7b4bcba
commit
f9969e5820
@ -208,8 +208,8 @@
|
||||
|
||||
<!-- Add WiFi101 updater tool -->
|
||||
<antcall target="unzip">
|
||||
<param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.8.1.zip" />
|
||||
<param name="archive_url" value="https://github.com/arduino-libraries/WiFi101-FirmwareUpdater-Plugin/releases/download/v0.8.1/WiFi101-Updater-ArduinoIDE-Plugin-0.8.1.zip" />
|
||||
<param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.8.2.zip" />
|
||||
<param name="archive_url" value="https://github.com/arduino-libraries/WiFi101-FirmwareUpdater-Plugin/releases/download/v0.8.2/WiFi101-Updater-ArduinoIDE-Plugin-0.8.2.zip" />
|
||||
<param name="final_folder" value="${target.path}/tools/WiFi101" />
|
||||
<param name="dest_folder" value="${target.path}/tools/" />
|
||||
</antcall>
|
||||
|
@ -1 +0,0 @@
|
||||
13681c745d18e8156594c21d1624063351605b03
|
@ -0,0 +1 @@
|
||||
71abf0c51197682819acbb42b516c53c5d8a4a0b
|
@ -10,6 +10,7 @@ ARDUINO 1.6.13 - 2016.11.22
|
||||
* Improved serial plotter with horizontal axis and grid. Thanks @duff2013
|
||||
* Windows: Improved DPI detection
|
||||
* Fixed a bunch of small bugs in the editor.
|
||||
* WiFi101 Firmware Updater: fixed certificates download from websites usign SNI (handshake_failed error)
|
||||
|
||||
[core]
|
||||
* avr: set default values for "upload.verify" and "program.verify" (allows compatibility with older IDE). Thanks @per1234
|
||||
|
Loading…
x
Reference in New Issue
Block a user