Jim Mussared f007d0aa3d nrf/boards: Rename all nRF boards to use uppercase.
This is to match all the other ports.

This work was funded through GitHub Sponsors.

Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
2023-08-23 13:54:37 +10:00

5 lines
80 B
C

#include "py/runtime.h"
mp_obj_t microbit_repeat_iterator(mp_obj_t iterable);