Skip to content

[skip-changelog] Modify board search --help description to correctly explain the command's function#2081

Merged
MatteoPologruto merged 1 commit intoarduino:masterfrom
MatteoPologruto:core-search-help-desc
Feb 22, 2023
Merged

[skip-changelog] Modify `board search --help` description to correctly explain the command's function#2081
MatteoPologruto merged 1 commit intoarduino:masterfrom
MatteoPologruto:core-search-help-desc

Commits