Fixup PICO_CONFIG entries #208

Merged
lurch merged 1 commit from fix_pico_configs into develop 2021-03-02 15:37:46 -06:00
lurch commented 2021-03-01 12:23:33 -06:00 (Migrated from github.com)
  • 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
lurch commented 2021-03-01 12:25:22 -06:00 (Migrated from github.com)

@kilograham Please merge this before you tag the next SDK release 🙂

@kilograham Please merge this before you tag the next SDK release :slightly_smiling_face:
kilograham (Migrated from github.com) approved these changes 2021-03-02 11:21:41 -06:00
Sign in to join this conversation.
No reviewers
No milestone
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
gh-raspberrypi/pico-sdk!208
No description provided.