Fix board options not shown for manually installed platforms#826

silvanocerza merged 1 commit intomainarduino/arduino-ide:mainfrom

scerza/fix-missing-propertiesarduino/arduino-ide:scerza/fix-missing-propertiesCopy head branch name to clipboard