Skip to content

py/mpconfig: Rename MICROPY_PY___FILE__ to MICROPY_MODULE___FILE__.#17886

Merged
dpgeorge merged 2 commits intomicropython:masterfrom
dpgeorge:py-module-rename-file-config-option
Aug 19, 2025
Merged

py/mpconfig: Rename MICROPY_PY___FILE__ to MICROPY_MODULE___FILE__.#17886
dpgeorge merged 2 commits intomicropython:masterfrom
dpgeorge:py-module-rename-file-config-option

Commits

Commits on Aug 19, 2025