1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-29 10:24:12 +01:00

Updating arduino-builder to 1.0.7

This commit is contained in:
Federico Fissore 2015-11-05 09:56:12 +01:00
parent dab247b1e7
commit d3b7afd42e
9 changed files with 5 additions and 5 deletions

View File

@ -1 +0,0 @@
20828b7651716f0e1c6aa574e17875f5246534a8

View File

@ -0,0 +1 @@
25698a0c825305e0ed491422531cbb8521bba771

View File

@ -1 +0,0 @@
13d0add3d6a643b892052bf7c6ee6e284f5e56a5

View File

@ -0,0 +1 @@
8fba023bbfb8792f20d977a8ba8656faef140e3d

View File

@ -1 +0,0 @@
964065305c26cf904e4d02e921e8016474d7acbe

View File

@ -0,0 +1 @@
111cc2736cf1eea239cfd06320a0157c642edb6a

View File

@ -1 +0,0 @@
6bf9a46f88bfab35bba3bbe107ebafe9d78466b6

View File

@ -0,0 +1 @@
7908ea7453a197afc6c71154091e35cee4e2c648

View File

@ -71,7 +71,7 @@
</or>
</condition>
<property name="ARDUINO-BUILDER-VERSION" value="1.0.6" />
<property name="ARDUINO-BUILDER-VERSION" value="1.0.7" />
<!-- Libraries required for running arduino -->
<fileset dir=".." id="runtime.jars">