mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-04-22 14:12:10 +02:00
![]() Makes sure the Arduino property page doesn't activate when the plugin isn't loaded. Change-Id: I4d948d6028407891e7ec9def8193f0e12b07179a |
||
---|---|---|
.. | ||
arduino |