mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-11 00:52:21 +01:00
7a178a5180
This allows example to continue to work with older IDE. This partially reverts commit 46cb5f0a5ce1a70d19e29ba52e71e8db6f7ff30c.