diff options
| author | David Lechner <david@pybricks.com> | 2021-06-28 12:03:01 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2021-07-01 12:26:40 +1000 |
| commit | 8182f34584d577da4ff8e26acbe677765cfbca23 (patch) | |
| tree | 78171a0e91ecc9563a333650c2ca8b66fd3fbee4 /docs/esp8266/tutorial/filesystem.rst | |
| parent | a32a7421d668c355629f28275eb756068633c41a (diff) | |
stm32/main: Call mp_deinit() at end of main.
This adds a call to mp_deinit() in the main function of the STM32 port.
This enables the use of MICROPY_PORT_DEINIT_FUNC on that port, as well as
cleaning up the GIL if threading is enabled.
Diffstat (limited to 'docs/esp8266/tutorial/filesystem.rst')
0 files changed, 0 insertions, 0 deletions