Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit 9bb8fc3

Browse files
Merge pull request #8764 from sandeepmistry/wifi101-updater-v0.10.8
Update WiFi101-Updater plugin to 0.10.8
2 parents ad69480 + 723a29f commit 9bb8fc3

File tree

3 files changed

+3
-3
lines changed

3 files changed

+3
-3
lines changed

‎build/build.xml‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -202,8 +202,8 @@
202202

203203
<!-- Add WiFi101 updater tool -->
204204
<antcall target="unzip">
205-
<param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.7.zip" />
206-
<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" />
205+
<param name="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.8.zip" />
206+
<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" />
207207
<param name="final_folder" value="${target.path}/tools/WiFi101" />
208208
<param name="dest_folder" value="${target.path}/tools/" />
209209
</antcall>

‎build/shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.7.zip.sha‎

Lines changed: 0 additions & 1 deletion
This file was deleted.
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
5ffdba176b6c2df8c62dc0199f8d0256c82f3053

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /