diff options
author | Federico Fissore <f.fissore@arduino.cc> | 2015-03-30 16:18:08 +0200 |
---|---|---|
committer | Federico Fissore <f.fissore@arduino.cc> | 2015-03-30 16:18:08 +0200 |
commit | cf6b1559cfde263fe4cff93a1f26a944fda91677 (patch) | |
tree | 85ac60635674a3c59084d16bab2909fa0f4cf1be /cores/arduino/Tone.cpp | |
parent | 43b2b1f6600092bef8a484a6161c2621c0e8c060 (diff) |
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.
This happens in-memory, no platform.txt file were harmed during rewriting
Mitigate #2838
Diffstat (limited to 'cores/arduino/Tone.cpp')
0 files changed, 0 insertions, 0 deletions