Pinmux now accepts dummy pinset to change port names
authorAndrey Miroshnikov <andrey@technepisteme.xyz>
Mon, 13 Jun 2022 20:43:05 +0000 (21:43 +0100)
committerAndrey Miroshnikov <andrey@technepisteme.xyz>
Mon, 13 Jun 2022 20:43:05 +0000 (21:43 +0100)
commit1961ff20d0591a4327383bb7ff766372f59295dc
treecd3895370cc36233d1ace22e5df0af88f42f684f
parent86d9a5e3f1309a6b3534fa696c982c9e83297496
Pinmux now accepts dummy pinset to change port names
src/spec/pinmux.py