1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-07-30 16:24:09 +03:00

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

This commit is contained in:
Cristian Maglie
2012-10-10 18:47:48 +02:00
2 changed files with 3 additions and 2 deletions

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();