diff options
| author | Laurens Valk <laurens@pybricks.com> | 2022-11-29 10:38:57 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2022-12-06 13:34:17 +1100 |
| commit | f724d90e6c0c6dadf0a746ba1413517d6ce497db (patch) | |
| tree | acaa09d8dd752c7cd059454c15fb54b254da4821 /py/persistentcode.h | |
| parent | fb7d211530d842b6efdc230c8834d9d0bd6f6f67 (diff) | |
py/modmicropython: Make module optional.
This module is useful, but it is not always needed. Disabling it saves
several kilobytes of build size, depending on other config options.
Signed-off-by: Laurens Valk <laurens@pybricks.com>
Diffstat (limited to 'py/persistentcode.h')
0 files changed, 0 insertions, 0 deletions