mirror of
https://github.com/arduino/Arduino.git
synced 2025-01-19 08:52:15 +01:00
3a3bc5be84
This allows to avoid empty include lines like: #include <> for libraries declaring: includes= in their library.properties file. Fix #7854