Skip to content

Use pycrdt-websocket instead of ypy-websocket#220

Merged
davidbrochart merged 1 commit intojupyterlab:mainfrom davidbrochart:pycrdtDec 12, 2023

Commits

Commits on Dec 12, 2023