Skip to content

Conversation

pedrominatel
Copy link
Member

@pedrominatel pedrominatel commented Feb 14, 2022

Summary

Added documentation for the Arduino IDE tools menu

Impact

None.

Related links

Closes #6228

@pedrominatel pedrominatel added the Type: Documentation Issue pertains to Documentation of Arduino ESP32 label Feb 14, 2022
@pedrominatel pedrominatel self-assigned this Feb 14, 2022
Copy link
Contributor

@VojtechBartoska VojtechBartoska left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Few small notes. Otherwise it looks pretty good!

@me-no-dev me-no-dev merged commit 4900979 into espressif:master Feb 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Type: Documentation Issue pertains to Documentation of Arduino ESP32

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Please document the Arduino core Tools menu options

4 participants