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.0-beta17

This commit is contained in:
Federico Fissore 2015-09-29 13:34:40 +02:00
parent a75f2f5cb5
commit 7e0adebd28
9 changed files with 5 additions and 5 deletions

View File

@ -1 +0,0 @@
f179f515fd930f8bc0b4c02def40651920dedd30

View File

@ -0,0 +1 @@
e56c87a94e7a4b600619a76c1e1b687f62631170

View File

@ -1 +0,0 @@
53cb49be5cb1dbbad1a3f431fa03ca191c38f46c

View File

@ -0,0 +1 @@
61a5daee1329eef6284e17293f04a1d964f8d46b

View File

@ -1 +0,0 @@
26e512d1c6e065113e28073fdefb23b2050476d3

View File

@ -0,0 +1 @@
777ca0bafd9ae195c5ce16326eabf3a8e413cec9

View File

@ -1 +0,0 @@
47f8c79d02c1fc7e69f16aece5529b212df01c72

View File

@ -0,0 +1 @@
1f3cf4bd48c3a812b83f8621a86dcbea80c05b25

View File

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