diff options
Diffstat (limited to 'extmod/webrepl/manifest.py')
| -rw-r--r-- | extmod/webrepl/manifest.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extmod/webrepl/manifest.py b/extmod/webrepl/manifest.py new file mode 100644 index 0000000000..0f2b440058 --- /dev/null +++ b/extmod/webrepl/manifest.py @@ -0,0 +1 @@ +freeze('.', ('webrepl.py', 'webrepl_setup.py', 'websocket_helper.py',)) |