[skip changelog] Add previously undocumented global predefined properties to platform specification#870
Merged
per1234 merged 3 commits intoarduino:masterfrom Jul 28, 2020
per1234:undocumented-properties
Merged
[skip changelog] Add previously undocumented global predefined properties to platform specification#870per1234 merged 3 commits intoarduino:masterfrom per1234:undocumented-properties
per1234 merged 3 commits intoarduino:masterfrom
per1234:undocumented-properties
