diff options
author | stijn <stijn@ignitron.net> | 2022-02-18 19:36:40 +0100 |
---|---|---|
committer | Damien George <damien@micropython.org> | 2022-02-22 00:59:14 +1100 |
commit | 49934fcf8b0b2bd906a96e1ff57b724d8dd6d93e (patch) | |
tree | 5d5435268443d54e38e175ea2609017d96186fd3 /py/compile.c | |
parent | f30b32e084ec49cdb2bf6011963dd1fa98945706 (diff) |
extmod/moduplatform: Move platform PP definitions into a header.
These are more generally useful than just for the module so make them
globally available, prefixed consistently with MICROPY_PLATFORM_.
Diffstat (limited to 'py/compile.c')
0 files changed, 0 insertions, 0 deletions