diff options
author | Damien George <damien@micropython.org> | 2021-01-21 18:04:39 +1100 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2021-01-29 23:57:10 +1100 |
commit | ef3ee7aa1005cd1f15c2144d4b46feb792ab3185 (patch) | |
tree | 01d6bb476d05b6a6b5971cdaa078239d942bffa7 /tools/verifygitlog.py | |
parent | ec0503bd0ce3f851f15d79c69b660a6cf411ea78 (diff) |
lib/pico-sdk: Add new pico-sdk submodule, for the rp2 port.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'tools/verifygitlog.py')
0 files changed, 0 insertions, 0 deletions