mirror of
https://github.com/arduino/Arduino.git
synced 2024-12-13 23:48:46 +01:00
a39364193f
This allow to define specific recipes for every platform but keeps backward compatibility. See #2614 |
||
---|---|---|
.. | ||
arduino | ||
tools |