Emit error if a tool is not available for current OS#795
Merged
cmaglie merged 1 commit intoarduino:masterfrom Jul 7, 2020
Merged
Emit error if a tool is not available for current OS#795cmaglie merged 1 commit intoarduino:masterfrom
cmaglie merged 1 commit intoarduino:masterfrom