mirror of
https://github.com/esp8266/Arduino.git
synced 2025-06-17 22:23:10 +03:00
Merge branch 'platforms-arm' of https://github.com/arduino/ARM into platforms-arm
Conflicts: hardware/google/sam/boards.txt
This commit is contained in: