Skip to content

[skip-changelog] Verify installation of builtin tools by checking that their executable is present#2168

Merged
MatteoPologruto merged 2 commits intoarduino:masterfrom
MatteoPologruto:interrupted-builtin-installation
May 15, 2023

Commits

Commits on May 3, 2023