mirror of
https://github.com/micropython/micropython.git
synced 2026-01-04 11:10:14 +01:00
Commit 64af916c11 removed the version string
from docs/conf.py. py/mpconfig.h is a better place to get the version
from, so use that (when there is no git repository).
Signed-off-by: Damien George <damien@micropython.org>
3.7 KiB
3.7 KiB