diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2023-08-09 02:14:13 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-11-03 14:09:08 +1100 |
| commit | b4236c7368a8f43a399b48a758f8c36063066d9b (patch) | |
| tree | f0041201c0f0f4bfee4ac8d6bcdd5707234b90b8 /tools/boardgen.py | |
| parent | 286b1b3ed9da4db156a7fc3fc4f191efb9125aa0 (diff) | |
stm32: Rename pin_obj_t to machine_pin_obj_t.
This is now consistent with other ports.
Also renamed `pin_{board/cpu}_pins_locals_dict` to
`machine_pin_{board/cpu}_pins_locals_dict`.
This work was funded through GitHub Sponsors.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'tools/boardgen.py')
0 files changed, 0 insertions, 0 deletions