1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-21 10:52:14 +01:00

Update WiFi101-Updater to 0.10.11

This commit is contained in:
Martino Facchin 2020-07-13 17:19:12 +02:00
parent ea84e7383a
commit a0acb3ebcb
3 changed files with 3 additions and 3 deletions

View File

@ -225,8 +225,8 @@
<!-- Add WiFi101 updater tool -->
<antcall target="unzip">
<param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.10.zip" />
<param name="archive_url" value="https://github.com/arduino-libraries/WiFi101-FirmwareUpdater-Plugin/releases/download/v0.10.10/WiFi101-Updater-ArduinoIDE-Plugin-0.10.10.zip" />
<param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.11.zip" />
<param name="archive_url" value="https://github.com/arduino-libraries/WiFi101-FirmwareUpdater-Plugin/releases/download/v0.10.11/WiFi101-Updater-ArduinoIDE-Plugin-0.10.11.zip" />
<param name="final_folder" value="${target.path}/tools/WiFi101" />
<param name="dest_folder" value="${target.path}/tools/" />
</antcall>

View File

@ -1 +0,0 @@
0923bc5138e6ac9c3c9277aa62a4e10fa2593e80

View File

@ -0,0 +1 @@
463c6fa5a29853e47cde6a73af2fcf36a051a3fb