1
0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-30 19:52:13 +01:00
Arduino/arduino-core
Federico Fissore d0d9aa82d1 Merge pull request #3017 from cmaglie/programmer-pref-override
programmer.txt definitions must have priority over platforms.txt tools definitions
2015-05-06 15:49:33 +02:00
..
2014-11-13 16:34:24 +01:00
2014-11-13 16:34:24 +01:00