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-beta19

This commit is contained in:
Federico Fissore 2015-09-30 14:37:20 +02:00
parent 70916d8942
commit c3c22ab652
9 changed files with 5 additions and 5 deletions

View File

@ -1 +0,0 @@
116be2d595f2e43209e21f0a5f432fd923638e4f

View File

@ -0,0 +1 @@
b0498ae65c4b47eba7d12a6692225bea15ac6380

View File

@ -1 +0,0 @@
e9471f83306b879d12f333ef7cb408bb17ee3086

View File

@ -0,0 +1 @@
7dbb49002c499b49e370a2935a5053d9ca1749fe

View File

@ -1 +0,0 @@
d01731e19c439b4df3909310c83c9a8d3d92de60

View File

@ -0,0 +1 @@
60f31e0e2d7a36897aadaf8a3362379ce469e3d7

View File

@ -1 +0,0 @@
6115d2a304e96148d0da5d59aeed545cdb79455e

View File

@ -0,0 +1 @@
e11ba6048ea67380a764bad19dc6932b22fc25af

View File

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