[skip changelog]Fix typos and formatting in the documentation#907

Merged

per1234 merged 3 commits intoarduino:masterfrom

per1234:fix-docs-typos

Aug 19, 2020

Commits on Aug 19, 2020

Fix typos in documentation
per1234
committed
Improve formatting of documentation
per1234
committed
Use correct case for Arduino CLI name in documentation

per1234
and
Roberto Sora
committed