mirror of
https://github.com/micropython/micropython.git
synced 2026-01-06 04:00:28 +01:00
Enable it in the dev variant as well for consistency with the makefile-based dev variant.
Enable it in the dev variant as well for consistency with the makefile-based dev variant.