tools/boardgen.py: Add a common library for ports to implement make-pins.py.#12211
Merged
dpgeorge merged 20 commits intomicropython:masterfrom Nov 3, 2023
Merged
tools/boardgen.py: Add a common library for ports to implement make-pins.py.#12211dpgeorge merged 20 commits intomicropython:masterfrom
dpgeorge merged 20 commits intomicropython:masterfrom