Add missing "default defines" #1426

Merged
lurch merged 1 commit from lurch-patch-2 into develop 2023-06-13 10:49:52 -05:00
lurch commented 2023-06-13 06:51:32 -05:00 (Migrated from github.com)

To match the documented PICO_CONFIG default values

To match the documented PICO_CONFIG default values
kilograham (Migrated from github.com) approved these changes 2023-06-13 10:49:41 -05:00
kilograham (Migrated from github.com) left a comment

Superfluous but perhaps clearer, but needed to make doc generation happy, so merging

Superfluous but perhaps clearer, but needed to make doc generation happy, so merging
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!1426
No description provided.