diff options
| author | Alessandro Gatti <a.gatti@frob.it> | 2024-06-10 10:02:36 +0200 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-06-17 13:12:54 +1000 |
| commit | 411d66586c0979d441404f8f68d7557aa8151c6a (patch) | |
| tree | dec932b5b3c8962dedf545a17d87b51ca418ac70 /py/make_root_pointers.py | |
| parent | 1b10cb843cd678cdf1a6112739a452eec0293fcd (diff) | |
extmod/modplatform: Add picolibc to the recognised libcs list.
This adds picolibc to the list of the recognised libc options.
Signed-off-by: Alessandro Gatti <a.gatti@frob.it>
Diffstat (limited to 'py/make_root_pointers.py')
0 files changed, 0 insertions, 0 deletions