Pedro Minatel 4900979906 Added documentation for the Arduino IDE tools menu (#6284) ... * Added the Tools Options into the docs. * Added more options * Deleted wrong file. * [Docs] Added image to show the MSC and some grammar fixes * [Docs] Added more information about the core selection * Deleted wrong file. * [Docs] Added more information about the core selection * [Docs] Changes according to the PR review		2022-02-16 15:43:21 +02:00
..
guides.rst	Added documentation for the Arduino IDE tools menu (#6284)	2022-02-16 15:43:21 +02:00
tools_menu.rst	Added documentation for the Arduino IDE tools menu (#6284)	2022-02-16 15:43:21 +02:00