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