1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-20 14:54:31 +01:00

Update WiFi101-Updater plugin to 0.10.10

This commit is contained in:
Sandeep Mistry 2019-12-23 13:57:29 -05:00
parent 4ae4de9a2f
commit 7ec0f833f6
3 changed files with 3 additions and 3 deletions

View File

@ -218,8 +218,8 @@
<!-- Add WiFi101 updater tool -->
<antcall target="unzip">
<param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.9.zip" />
<param name="archive_url" value="https://github.com/arduino-libraries/WiFi101-FirmwareUpdater-Plugin/releases/download/v0.10.9/WiFi101-Updater-ArduinoIDE-Plugin-0.10.9.zip" />
<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="final_folder" value="${target.path}/tools/WiFi101" />
<param name="dest_folder" value="${target.path}/tools/" />
</antcall>

View File

@ -0,0 +1 @@
0923bc5138e6ac9c3c9277aa62a4e10fa2593e80

View File

@ -1 +0,0 @@
27d983813536b2d7fe84913e4fb2ef5cdef62a1b