Skip to content

[skip changelog]Use standardized term for Boards Manager in documentation#930

Merged
per1234 merged 1 commit intoarduino:masterfrom
per1234:use-boards-manager-term
Aug 31, 2020

Commits

Commits on Aug 31, 2020