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

Updating arduino-builder to 1.0.2

This commit is contained in:
Federico Fissore 2015-10-29 12:51:26 +01:00
parent a51723fe79
commit 0b59fc91b0
9 changed files with 5 additions and 5 deletions

View File

@ -1 +0,0 @@
8cdc712d1bb43fe9e2795a817de0762bb2fc5d74

View File

@ -0,0 +1 @@
127516cc4682569055c82d15c44c366b7f3ca43b

View File

@ -1 +0,0 @@
5e9fa3a29bd7a3179215c706a352a4cfbef7d843

View File

@ -0,0 +1 @@
c2d0a44ad2c8238aece01217091f7615ab6c3ea5

View File

@ -1 +0,0 @@
1a146b1f546eb9bf526b7e5ec896547dd9cfc9bc

View File

@ -0,0 +1 @@
493e43b0c3495307970454d2a7fa5cf353962832

View File

@ -1 +0,0 @@
e56d3fa1691888aca937680839c99c0fc27d7f7f

View File

@ -0,0 +1 @@
03778b442c3aabb74f025aa830cb3c584777f826

View File

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