diff options
| author | Damien George <damien@micropython.org> | 2021-11-05 13:12:18 +1100 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2021-11-05 13:12:18 +1100 |
| commit | fa873ce67c52d04ad6ccea26c7c6366c97daa637 (patch) | |
| tree | 908fc7191d77499e631cc5099d5df7efe2dd4812 /tools/codeformat.py | |
| parent | c9c55032dc29ba8dc75a211cdbb930e7eaf31844 (diff) | |
minimal/mpconfigport.h: Disable features that are not needed.
Now that there are feature levels, and that this port uses
MICROPY_CONFIG_ROM_LEVEL_MINIMUM, it's easy to see what optional features
can be disabled. And this commit disables them.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'tools/codeformat.py')
0 files changed, 0 insertions, 0 deletions