mirror of
https://github.com/micropython/micropython.git
synced 2026-05-01 13:20:14 +02:00
7ca1bd314b
Using Damien's approach where conf.py and topindex.html are shared by all ports.