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

This commit is contained in:
Federico Fissore 2015-09-25 10:34:32 +02:00
parent e2608e076e
commit 469bc4ad6e
9 changed files with 5 additions and 5 deletions

View File

@ -1 +0,0 @@
7c844e08421b85214ba89947c45edb2af817c315

View File

@ -0,0 +1 @@
b543527ab596234616481757a91d00dbaa618e6c

View File

@ -1 +0,0 @@
7af1b8beafcb7e703f5e44e788fa9283f94b14c9

View File

@ -0,0 +1 @@
034271c81c222959efb6353fbf54d256076db728

View File

@ -1 +0,0 @@
2dc43e8a7cc7d0cde7fef80e007e8e7c73fa7779

View File

@ -0,0 +1 @@
51d1d55486235a6e3e81210283744ceef5c72078

View File

@ -1 +0,0 @@
2afe78069a0dc2179c78d69ce9cf6890a505f9c9

View File

@ -0,0 +1 @@
2f1b37569aa399d2c40b0798a4382cbc4b4a0509

View File

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