Add support for platform properties introduced for pluggable discovery#267
Merged
per1234 merged 10 commits intoarduino:mainfrom Sep 2, 2021
per1234:platform-pluggable-discovery
Commits
Commits on Sep 2, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
