devel/py-jupyter-collaboration: Add py-jupyter-collaboration 1.2.0
JupyterLab Real-Time Collaboration is a Jupyter Server Extension and JupyterLab
extensions providing support for Y documents and adding collaboration UI
elements in JupyterLab.
Description
Description
Details
Details
- Provenance
sunpoet Authored on Oct 11 2023, 12:53 PM - Parents
- R11:cda33f6c5d52: */Makefile: Sort SUBDIRs
- Branches
- Unknown
- Tags