diff options
| author | Jeff Epler <jepler@gmail.com> | 2025-09-03 14:08:21 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2025-10-08 15:08:46 +1100 |
| commit | 2c34497bd1f7edfbe288a0ddab28ee953d034cea (patch) | |
| tree | 89bb90f7acbc7e7dd387f78ef320f1577f200247 /docs/reference | |
| parent | 449866cb0af3fc547df6538a6552517cc8974616 (diff) | |
tools/metrics.py: When cleaning also clean mpy-cross.
Changes of interest could be in emitted mpy frozen files.
Signed-off-by: Jeff Epler <jepler@unpythonic.net>
Diffstat (limited to 'docs/reference')
0 files changed, 0 insertions, 0 deletions