mirror of
https://github.com/micropython/micropython.git
synced 2026-01-08 21:20:13 +01:00
Because the target system may not have these headers at all. Signed-off-by: YAMAMOTO Takashi <yamamoto@midokura.com>
Because the target system may not have these headers at all. Signed-off-by: YAMAMOTO Takashi <yamamoto@midokura.com>