Martino Facchin f816e76d47 Merge pull request #3207 from chromhelm/master ... Fixed bug with HWSerial flushing		2015-05-28 09:44:46 +02:00
..
arduino	Merge pull request #3207 from chromhelm/master	2015-05-28 09:44:46 +02:00
tools	…
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