[skip changelog] Document platform post-install script in platform specification#942

Merged

per1234 merged 1 commit intoarduino:masterfrom

per1234:document-post-install-script

Sep 11, 2020

Commits on Sep 10, 2020

[skip changelog] Document platform post-install script in platform specification
per1234
committed