mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
Update WiFi101-Updater plugin to 0.10.8
This commit is contained in:
parent
72330aaddd
commit
723a29fbb0
@ -202,8 +202,8 @@
|
||||
|
||||
<!-- Add WiFi101 updater tool -->
|
||||
<antcall target="unzip">
|
||||
<param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.7.zip" />
|
||||
<param name="archive_url" value="https://github.com/arduino-libraries/WiFi101-FirmwareUpdater-Plugin/releases/download/v0.10.7/WiFi101-Updater-ArduinoIDE-Plugin-0.10.7.zip" />
|
||||
<param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.8.zip" />
|
||||
<param name="archive_url" value="https://github.com/arduino-libraries/WiFi101-FirmwareUpdater-Plugin/releases/download/v0.10.8/WiFi101-Updater-ArduinoIDE-Plugin-0.10.8.zip" />
|
||||
<param name="final_folder" value="${target.path}/tools/WiFi101" />
|
||||
<param name="dest_folder" value="${target.path}/tools/" />
|
||||
</antcall>
|
||||
|
@ -1 +0,0 @@
|
||||
6c99a37a7a5ad571773b39e3bf7f185907f77c2b
|
@ -0,0 +1 @@
|
||||
5ffdba176b6c2df8c62dc0199f8d0256c82f3053
|
Loading…
x
Reference in New Issue
Block a user