[skip-changelog] Modify board search --help description to correctly explain the command's function#2081
Merged
MatteoPologruto merged 1 commit intoarduino:masterfrom Feb 22, 2023
