mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-04-10 03:44:22 +00:00
* remove default=undefined * fix a couple of typos / syntax "errors" * perform even better default-value-checking in extract_configs.py
* remove default=undefined * fix a couple of typos / syntax "errors" * perform even better default-value-checking in extract_configs.py