Add contributor guides for realtime collaboration (#358)

Co-authored-by: Matthias Lehner <[email protected]>
ls1intum · Aug 11, 2024 · 36ffb32 · 36ffb32
1 parent a717547
commit 36ffb32
Show file tree

Hide file tree

Showing 3 changed files with 88 additions and 0 deletions.
diff --git a/docs/source/dev/realtime-collaboration-flow.svg b/docs/source/dev/realtime-collaboration-flow.svg