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