profiles: decouple "board_name" and "profile" from "platform" variable#71
Open
map-b wants to merge 1 commit into
Open
profiles: decouple "board_name" and "profile" from "platform" variable#71map-b wants to merge 1 commit into
map-b wants to merge 1 commit into