[skip changelog] Document ability to override properties of referenced tools#963
Merged
per1234 merged 1 commit intoarduino:masterfrom Sep 22, 2020
per1234:document-tool-reference-property-override
Merged
[skip changelog] Document ability to override properties of referenced tools#963per1234 merged 1 commit intoarduino:masterfrom per1234:document-tool-reference-property-override
per1234 merged 1 commit intoarduino:masterfrom
per1234:document-tool-reference-property-override
