From abfa8217ec2278afbe831dae0b4fda91c9ced8a6 Mon Sep 17 00:00:00 2001 From: "pre-commit-ci[bot]" <66853113+pre-commit-ci[bot]@users.noreply.github.com> Date: Tue, 11 Jul 2023 13:54:28 +0000 Subject: [PATCH] [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci --- docs/source/tutorial/collaboration-users.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/tutorial/collaboration-users.md b/docs/source/tutorial/collaboration-users.md index 6831bb90..285acf6d 100644 --- a/docs/source/tutorial/collaboration-users.md +++ b/docs/source/tutorial/collaboration-users.md @@ -7,7 +7,7 @@ It is recommended to use at least JupyterLab 3.6 with JupyterHub >= 3.1.1 for th ::: :::{note} -If you use the JupyterLab >=4.0 you need to install the [jupyter-collaboration](https://github.com/jupyterlab/jupyter-collaboration) package in your single-user notebook instance. +If you use the JupyterLab >=4.0 you need to install the [jupyter-collaboration](https://github.com/jupyterlab/jupyter-collaboration) package in your single-user notebook instance. ::: JupyterLab has support for real-time collaboration (RTC), where multiple users are working with the same Jupyter server and see each other's edits.