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/Arduino.h | |
| 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/Arduino.h')
0 files changed, 0 insertions, 0 deletions