mirror of
https://github.com/micropython/micropython.git
synced 2026-03-15 21:30:22 +01:00
Since the parent commit, this is now unused. Signed-off-by: Damien George <damien@micropython.org>
10 KiB
10 KiB