diff options
author | Damien George <damien@micropython.org> | 2022-04-11 13:04:31 +1000 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2022-04-11 13:05:25 +1000 |
commit | b59989f40edeca1a7c239eb017c353010e1837d7 (patch) | |
tree | 3fab026e511b425ca793dc6d60b778be9f4e9c4a /tools/pyboard.py | |
parent | ca41eda281052ecf64374f35dcf282a96e68661a (diff) |
rp2/Makefile: Add mbedtls to GIT_SUBMODULES list and use it in CI func.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'tools/pyboard.py')
0 files changed, 0 insertions, 0 deletions