diff options
| author | Damien George <damien@micropython.org> | 2025-01-14 17:17:22 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-01-15 16:48:10 +1100 |
| commit | d533c9067a3a2709d56304944e5142ff71830c8d (patch) | |
| tree | dd2e46fad2be4a0263a2065ac5b58b7bfd2f5274 /tools/pyboard.py | |
| parent | ca71df0081ea634105beebaea063cdca8ef6a9a3 (diff) | |
| download | micropython-d533c9067a3a2709d56304944e5142ff71830c8d.tar.gz micropython-d533c9067a3a2709d56304944e5142ff71830c8d.zip | |
tools/autobuild: Don't allow a board to change its ID.
All board IDs are now the board directory name.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'tools/pyboard.py')
0 files changed, 0 insertions, 0 deletions