kopia lustrzana https://github.com/micropython/micropython
59850c0b83
defindex.html (used by topindex.html) is deprecated, but topindex.html was already identical other than setting the title, so just inherit directly from layout.html. |
||
---|---|---|
.. | ||
layout.html | ||
replace.inc | ||
topindex.html | ||
versions.html |