Add support for looking into PICO_BOARD_HEADER_DIRS custom board header#123

Merged

will-v-pi merged 3 commits intoraspberrypi:mainfrom

shalxmva:custom_header_dir

Jan 7, 2025

Commits on Jan 6, 2025

Add support for looking into PICO_BOARD_HEADER_DIRS custom board header
shalxmva
committed
Fixup whitespace

will-v-pi
authored and
shalxmva
committed
Add support for PICO_BOARD_HEADER_DIRS as a semi-colon separated path list
shalxmva
committed