diff options
| author | Damien George <damien@micropython.org> | 2022-06-03 01:11:59 +1000 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-06-07 13:51:45 +1000 |
| commit | bf92b0cbf28ad58c908d7d151a717042473d985f (patch) | |
| tree | 4ff2b2f179033b99f2974b852919be09a3f1411f /py/profile.c | |
| parent | 599a22e56975a1a0d753eae5fd1432d4a85c5189 (diff) | |
tools/ci.sh: Add test for mpy-tool's merging feature.
Signed-off-by: Damien George <damien@micropython.org>
Diffstat (limited to 'py/profile.c')
0 files changed, 0 insertions, 0 deletions