diff options
Diffstat (limited to 'docs/user/index.rst')
| -rw-r--r-- | docs/user/index.rst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/user/index.rst b/docs/user/index.rst index ac8731a69..96d11bf8a 100644 --- a/docs/user/index.rst +++ b/docs/user/index.rst @@ -6,6 +6,5 @@ User documentation :maxdepth: 2 :caption: Contents - public_instances search_syntax own-instance |