[skip changelog] Document platform post-install script in platform specification#942
Merged
per1234 merged 1 commit intoarduino:masterfrom Sep 11, 2020
per1234:document-post-install-script
Merged
[skip changelog] Document platform post-install script in platform specification#942per1234 merged 1 commit intoarduino:masterfrom per1234:document-post-install-script
per1234 merged 1 commit intoarduino:masterfrom
per1234:document-post-install-script
