diff options
| author | David Lechner <david@pybricks.com> | 2022-07-01 14:26:38 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2022-07-18 13:50:34 +1000 |
| commit | 095ad87adf934511e9aaa0beb6f2ae1accc262a7 (patch) | |
| tree | 1154df3c525787c5ea4e99a4ddf6a5c913aeca85 /py/builtinhelp.c | |
| parent | a3703584fea25854616265c9accc2aab70cf2c97 (diff) | |
cc3200/mpconfigport: Remove mp_const_user_interrupt.
mp_const_user_interrupt was listed as a root pointer but not used anywhere
in the code base, so it can be removed.
Signed-off-by: David Lechner <david@pybricks.com>
Diffstat (limited to 'py/builtinhelp.c')
0 files changed, 0 insertions, 0 deletions