rename table of contents to keep the search results clean

2020-10-28 15:25:06 +01:00
parent 3e2c72cc93
commit 8c3a2b7d1c
17 changed files with 18 additions and 18 deletions
--- a/docs/src/docPages/guide/collaborative-editing.md
+++ b/docs/src/docPages/guide/collaborative-editing.md
@@ -1,6 +1,6 @@
 # Collaborative editing

-## Table of Contents
+## toc

 ## Introduction