4 lines
144 B
INI
4 lines
144 B
INI
|
rev="6a7db34ff63345a7badec79ebea3aaef1712f374"
|
||
|
url="https://codeberg.org/libreboot/pico-sdk"
|
||
|
bkup_url="https://github.com/raspberrypi/pico-sdk"
|