Improve installed.json handling in v2/tools#983
Merged
MatteoPologruto merged 5 commits intoarduino:mainfrom Aug 5, 2024
Commits
Commits on Aug 5, 2024
- committed
- committed
- committed
- committed
- committed
installed.json handling in v2/tools#983