diff options
| author | Jim Mussared <jim.mussared@gmail.com> | 2019-10-21 15:55:18 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-12-20 12:59:13 +1100 |
| commit | 7ce1e0b1dc466e48606164aad223c81c93a9cea2 (patch) | |
| tree | 7ee755742cb06393c13b420610525b85b77f10aa /docs/conf.py | |
| parent | 7f235cbee924305e2d8a8aa86876770af66d7d82 (diff) | |
extmod/webrepl: Move webrepl scripts to common place and use manifest.
Move webrepl support code from ports/esp8266/modules into extmod/webrepl
(to be alongside extmod/modwebrepl.c), and use frozen manifests to include
it in the build on esp8266 and esp32.
A small modification is made to webrepl.py to make it work on non-ESP
ports, i.e. don't call dupterm_notify if not available.
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions