[skip changelog] Document the boards.txt vid and pid properties#812
Merged
rsora merged 1 commit intoarduino:masterfrom Jul 23, 2020
per1234:document-vid-pid-properties
Merged
[skip changelog] Document the boards.txt vid and pid properties#812rsora merged 1 commit intoarduino:masterfrom per1234:document-vid-pid-properties
rsora merged 1 commit intoarduino:masterfrom
per1234:document-vid-pid-properties
