[skip changelog] Improve documentation re: referencing tools in a package index#814

Merged

rsora merged 2 commits intoarduino:masterfrom

per1234:improve-tools-reference-documentation

Jul 23, 2020

Commits on Jul 21, 2020

Document how the `packager` value of a tool reference is defined
per1234
committed
Make it clear that tool references in package index result in installation
per1234
committed