[skip changelog] Mention Boards Manager installation option in platform specification intro#797
Merged
per1234 merged 1 commit intoarduino:masterfrom Jul 8, 2020
per1234:platform-specification-boards-manager
Merged
[skip changelog] Mention Boards Manager installation option in platform specification intro#797per1234 merged 1 commit intoarduino:masterfrom per1234:platform-specification-boards-manager
per1234 merged 1 commit intoarduino:masterfrom
per1234:platform-specification-boards-manager
