Skip to content

Fix board options not shown for manually installed platforms#826

Merged
silvanocerza merged 1 commit intomainfrom
scerza/fix-missing-properties
Feb 14, 2022

Commits

Commits on Feb 11, 2022