diff options
| author | Damien George | 2019-06-19 14:02:38 +1000 |
|---|---|---|
| committer | Damien George | 2019-07-01 17:10:12 +1000 |
| commit | c80614dfc8b6454819380e4886d49dfd93193691 (patch) | |
| tree | cdeec4bafad4cf8ed74efd8d2a6a39f44186143b /.gitmodules | |
| parent | 964ae328cd00260d9a017a4e67909694fded9902 (diff) | |
ports: Provide mp_hal_stdio_poll for sys.stdio polling where needed.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions