diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-06-19 00:12:37 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2016-06-19 00:12:37 +0300 |
| commit | 41167554e4d02f7f0e45099c5f6a41af01071559 (patch) | |
| tree | b98b4079447c9f34c45dc48769dfccb7b1fbe83e /esp8266/scripts/webrepl.py | |
| parent | 413c3e10b4a046493e648686e8d355db95e8846b (diff) | |
py/mphal.h: If virtpin API is used, automagically include its header.
Diffstat (limited to 'esp8266/scripts/webrepl.py')
0 files changed, 0 insertions, 0 deletions