1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-01 12:24:14 +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
..
lib Introducing GPG signature verification when loading main package_index file 2015-05-04 12:05:50 +02:00
src Merge pull request #3017 from cmaglie/programmer-pref-override 2015-05-06 15:49:33 +02:00
.classpath Introducing GPG signature verification when loading main package_index file 2015-05-04 12:05:50 +02:00
.gitignore Split IDE into 2 projects. 2014-11-13 16:34:24 +01:00
.project Split IDE into 2 projects. 2014-11-13 16:34:24 +01:00
build.xml arduino-core: restored debug info in class files 2015-03-10 08:52:42 +01:00