Skip to content

Only use builtin_tools_versions.txt if its folder is builtin#247

Merged
facchinm merged 2 commits intoarduino:masterfrom
facchinm:builtin_tools_versions
Sep 25, 2017

Commits

Commits on Sep 12, 2017