diff options
| author | Yonatan Goldschmidt | 2019-02-10 22:35:18 +0200 |
|---|---|---|
| committer | Damien George | 2019-02-14 00:35:45 +1100 |
| commit | bc4f8b438b56cf1b4f6b44febcd0d83599cbbd68 (patch) | |
| tree | 48a549df981c2471d12cdbe9f135f90b37cf9878 /ports/javascript/JSBackend.patch | |
| parent | d1acca3c71780545e067e85b444b495cc9801b2b (diff) | |
extmod/moduwebsocket: Refactor `websocket` to `uwebsocket`.
As mentioned in #4450, `websocket` was experimental with a single intended
user, `webrepl`. Therefore, we'll make this change without a weak
link `websocket` -> `uwebsocket`.
Diffstat (limited to 'ports/javascript/JSBackend.patch')
0 files changed, 0 insertions, 0 deletions