diff options
| author | Damien George <damien@micropython.org> | 2023-10-04 15:44:25 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2023-10-04 15:44:25 +1100 |
| commit | 92717a95c048932e1085ff34ca799835515e442b (patch) | |
| tree | 9deaf68f6865045159793dab6c7b24c065feccfe /lib/cmsis/inc/cmsis_gcc.h | |
| parent | 1cd61149e4328154110d4b1e38bcbecdcc0ec386 (diff) | |
| download | micropython-92717a95c048932e1085ff34ca799835515e442b.tar.gz micropython-92717a95c048932e1085ff34ca799835515e442b.zip | |
tools/metrics.py: Fix esp32 and esp8266 board names after renaming.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'lib/cmsis/inc/cmsis_gcc.h')
0 files changed, 0 insertions, 0 deletions