Skip to content

tools/boardgen.py: Add a common library for ports to implement make-pins.py.#12211

Merged
dpgeorge merged 20 commits intomicropython:masterfrom
jimmo:make-pins-refactor
Nov 3, 2023

Commits

Commits on Nov 3, 2023