[skip changelog]Use standardized term for Boards Manager in documentation (#930)
The term "Boards Manager" has been well established in the Arduino development tools and documentation. Perhaps influenced by the mismatch with the singular term used for its companion "Library Manager", Arduino CLI's documentation has diverged from this standard by sometimes (but not always) referring to it as "Board Manager". This PR resolves the inconsistency by using "Boards Manager" everywhere. Note that "Boards Manager" and "Library Manager" are proper nouns, and so should always be capitalized.
Showing
Please register or sign in to comment