Federico Fissore 9166828bfe Due to website configuration changes, every url starting with http://arduino.cc has been changed to http://www.arduino.cc. Fixes #3191		2015-05-20 17:10:06 +02:00
..
arduino	Due to website configuration changes, every url starting with http://arduino.cc has been changed to http://www.arduino.cc. Fixes #3191	2015-05-20 17:10:06 +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