diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2020-02-23 11:55:20 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-23 11:55:20 +0000 |
| commit | 55aa7f96c17b46071616df3106219ff8230f7c7b (patch) | |
| tree | 2e3af4d525d783d2fc61a1852564c5dd4385c0cd /docs/user/index.rst | |
| parent | 24472ce71832a2b516e0c96fe73587208eb33c65 (diff) | |
| parent | 8c2609775755d991c9905a0852c2770a79d1c091 (diff) | |
Merge branch 'master' into docker/opencontainers
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 329be3b10..b13aca216 100644 --- a/docs/user/index.rst +++ b/docs/user/index.rst @@ -5,6 +5,5 @@ User documentation .. toctree:: :maxdepth: 1 - public_instances search_syntax own-instance |