diff --git a/build/build.xml b/build/build.xml index 55e2ddc8e..1b533b404 100644 --- a/build/build.xml +++ b/build/build.xml @@ -224,8 +224,8 @@ - - + + 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 deleted file mode 100644 index 0af57b2ee..000000000 --- a/build/shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.12.zip.sha +++ /dev/null @@ -1 +0,0 @@ -320ee2c666c83182fd6dbf708d690c65a54d6b3d diff --git a/build/shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.13.zip.sha b/build/shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.13.zip.sha new file mode 100644 index 000000000..d6bec0cae --- /dev/null +++ b/build/shared/WiFi101-Updater-ArduinoIDE-Plugin-0.10.13.zip.sha @@ -0,0 +1 @@ +c2d950176c19561e6f4209971586020765d5bd3e