1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-01 12:24:14 +01:00

Merge branch 'master' of github.com:arduino/ARM

This commit is contained in:
Fede85 2012-10-10 17:36:46 +02:00
commit 114c9f5810

View File

@ -45,6 +45,7 @@ public class TargetPlatform {
name = _name;
folder = _folder;
boards = new HashMap<String, PreferencesMap>();
boardsOrder = new ArrayList<String>();
programmers = new HashMap<String, PreferencesMap>();
preferences = new PreferencesMap();