diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2021-09-15 23:41:40 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2021-11-01 15:02:58 +1100 |
| commit | b1a0ce46d10e29d8d630d70bcbeabfe36ce3b0bc (patch) | |
| tree | 0f8242e1830b58393bbf75612e11ba443c710b8b /tools/codeformat.py | |
| parent | 30418813530ee3239c7d7a649ee9fafa8af1f783 (diff) | |
rp2/mpconfigport.h: Use the "extra" feature level.
This commit is a no-op change to simplify existing config.
Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
Diffstat (limited to 'tools/codeformat.py')
0 files changed, 0 insertions, 0 deletions