Martino Facchin 9d13023075 Merge pull request #3211 from Chris--A/println-optimize ...

Println optimize

2015-05-28 10:24:12 +02:00

..

arduino

Merge pull request #3211 from Chris--A/println-optimize

2015-05-28 10:24:12 +02:00

tools

Removed unused boards/programmers

2012-08-25 16:31:25 +02:00

platform.keys.rewrite.txt

Platform.txt in-memory rewrite rules: whenever loaded, if a property is set to a value known to be wrong/old, that property is replaced with the current/right value.

2015-03-30 16:18:08 +02:00