mirror of
https://github.com/micropython/micropython.git
synced 2026-04-30 21:00:12 +02:00
01dd7804b8
This is to keep the top-level directory clean, to make it clear what is core and what is a port, and to allow the repository to grow with new ports in a sustainable way.