8000 tools/normalise_mpconfigport.py: Add script to normalise config (WIP) by dpgeorge · Pull Request #7538 · micropython/micropython · GitHub
[go: up one dir, main page]

Skip to content

tools/normalise_mpconfigport.py: Add script to normalise config (WIP)#7538

Closed
dpgeorge wants to merge 1 commit intomicropython:masterfrom
dpgeorge:tools-normalise-mpconfigport

Commits

Commits on Jul 13, 2021

0