[gnoduino: 135/237] restored accidentally-deleted Leonardo type in boards.txt

[Lucian Langa <lucilanga src gnome org>]

commit 2d475be6b3cf1c06ebe258d21a4abc0af9f459d7
Author: Zach Eveland <zeveland blacklabel-development com>
Date:   Fri Sep 16 14:54:42 2011 -0400

    restored accidentally-deleted Leonardo type in boards.txt

 arduino/boards.txt |   30 +++++++++++++++---------------
 1 files changed, 15 insertions(+), 15 deletions(-)
---
diff --git a/arduino/boards.txt b/arduino/boards.txt
index b086319..2fe3f6b 100644
--- a/arduino/boards.txt
+++ b/arduino/boards.txt
@@ -36,21 +36,21 @@ leonardo.build.variant=leonardo
 
 ##############################################################
 
-leonardo.name=Arduino Micro
-leonardo.upload.protocol=arduino
-leonardo.upload.maximum_size=30720
-leonardo.upload.speed=1200
-leonardo.bootloader.low_fuses=0xde
-leonardo.bootloader.high_fuses=0xda
-leonardo.bootloader.extended_fuses=0xcb
-leonardo.bootloader.path=diskloader
-leonardo.bootloader.file=DiskLoader-Micro.hex
-leonardo.bootloader.unlock_bits=0x3F
-leonardo.bootloader.lock_bits=0x2F
-leonardo.build.mcu=atmega32u4
-leonardo.build.f_cpu=16000000L
-leonardo.build.core=arduino
-leonardo.build.variant=micro
+micro.name=Arduino Micro
+micro.upload.protocol=arduino
+micro.upload.maximum_size=30720
+micro.upload.speed=1200
+micro.bootloader.low_fuses=0xde
+micro.bootloader.high_fuses=0xda
+micro.bootloader.extended_fuses=0xcb
+micro.bootloader.path=diskloader
+micro.bootloader.file=DiskLoader-Micro.hex
+micro.bootloader.unlock_bits=0x3F
+micro.bootloader.lock_bits=0x2F
+micro.build.mcu=atmega32u4
+micro.build.f_cpu=16000000L
+micro.build.core=arduino
+micro.build.variant=micro
 
 ##############################################################