From 7acb52a797a33b053f15d58a85f7f3e9fc3836f3 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bug.st>
Date: Thu, 21 Mar 2013 09:20:29 +0100
Subject: [PATCH] Added version field to platform.txt

---
 platform.txt | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/platform.txt b/platform.txt
index f2f80f1..5fc2682 100644
--- a/platform.txt
+++ b/platform.txt
@@ -1,8 +1,16 @@
 
+# Arduino AVR Core and platform.
+# ------------------------------
+
+# For more info:
+# https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification
+
+name=Arduino AVR Boards
+version=1.5.3
+
 # AVR compile variables
 # --------------------- 
 
-name=Arduino AVR Boards
 # Default "compiler.path" is correct, change only if you want to overidde the initial value
 #compiler.path={ide.path}/tools/avr/bin/..
 compiler.c.cmd=avr-gcc
@@ -50,7 +58,7 @@ recipe.size.regex=Total\s+([0-9]+).*
 
 
 # AVR Uploader/Programmers tools
-# -------------------
+# ------------------------------
 
 tools.avrdude.cmd.path={runtime.ide.path}/hardware/tools/avr/bin/avrdude
 tools.avrdude.config.path={runtime.ide.path}/hardware/tools/avr/etc/avrdude.conf