Update WiFi101-Updater-Plugin to 0.10.12

funnyflowerpot · Aug 17, 2020 · 5e30bec · 5e30bec
1 parent 80dc652
commit 5e30bec
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/build/build.xml b/build/build.xml
@@ -225,8 +225,8 @@
 
     <!-- Add WiFi101 updater tool -->
     <antcall target="unzip">
-      <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="archive_file" value="shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.12.zip" />
+      <param name="archive_url" value="https://github.com/arduino-libraries/WiFi101-FirmwareUpdater-Plugin/releases/download/v0.10.12/WiFi101-Updater-ArduinoIDE-Plugin-0.10.12.zip" />
       <param name="final_folder" value="${target.path}/tools/WiFi101" />
       <param name="dest_folder" value="${target.path}/tools/" />
     </antcall>

diff --git a/build/shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.11.zip.sha b/build/shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.11.zip.sha
diff --git a/build/shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.12.zip.sha b/build/shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.12.zip.sha
@@ -0,0 +1 @@
+320ee2c666c83182fd6dbf708d690c65a54d6b3d