mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-15 12:29:26 +01:00
Update WiFi101-Updater plugin to 0.10.7
This commit is contained in:
parent
933bbb3a39
commit
a87024dcd4
@ -202,8 +202,8 @@
|
|||||||
|
|
||||||
<!-- Add WiFi101 updater tool -->
|
<!-- Add WiFi101 updater tool -->
|
||||||
<antcall target="unzip">
|
<antcall target="unzip">
|
||||||
<param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.6.zip" />
|
<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.6/WiFi101-Updater-ArduinoIDE-Plugin-0.10.6.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="final_folder" value="${target.path}/tools/WiFi101" />
|
<param name="final_folder" value="${target.path}/tools/WiFi101" />
|
||||||
<param name="dest_folder" value="${target.path}/tools/" />
|
<param name="dest_folder" value="${target.path}/tools/" />
|
||||||
</antcall>
|
</antcall>
|
||||||
|
@ -1 +0,0 @@
|
|||||||
310b476e0cacda92ca1e0248d43c3c65508ecbb2
|
|
@ -0,0 +1 @@
|
|||||||
|
6c99a37a7a5ad571773b39e3bf7f185907f77c2b
|
Loading…
x
Reference in New Issue
Block a user