Boards header updates #1724

Merged
lurch merged 3 commits from boards_header_updates into develop 2024-06-21 14:26:45 -05:00
lurch commented 2024-06-05 13:28:14 -05:00 (Migrated from github.com)
  • Adds a script to automatically "validate" board-header include files
  • Fixes errors in existing board-headers found by this script
  • Adds in the board-header from #1174 (tweaked as requested)

This also fixes #204

* Adds a script to automatically "validate" board-header include files * Fixes errors in existing board-headers found by this script * Adds in the board-header from #1174 (tweaked as requested) This also fixes #204
kilograham (Migrated from github.com) approved these changes 2024-06-21 14:26:30 -05: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!1724
No description provided.