mirror of
https://github.com/raspberrypi/pico-sdk.git
synced 2025-02-06 03:40:02 +00:00
304ab7dd92
- Add double quotes because build option it's a string. - Remove comment as requested by @kilograham. - Resolves #258.