diff options
| author |   Tomi Juvonen <tomi.juvonen@nokia.com> | 2016-05-10 10:36:52 +0300 |
|---|---|---|
| committer | Tomi Juvonen <tomi.juvonen@nokia.com> | 2016-05-18 05:19:18 +0000 |
| commit | d133d967e8499c098cfb94e09c7669ce537919f1 (patch) | |
| tree | 598a30f8568f95bd7187f973f7faf70ac3e9cbb1 /docs/manuals/index.rst | |
| parent | a1bab6ecdfbfaf5521f31d9539e256fc6e0cac29 (diff) | |
Manual for get-valid-server-state
Change-Id: I684b94c18bc1961859907b5565f8498b97987092
JIRA: DOCTOR-47
Signed-off-by: Tomi Juvonen <tomi.juvonen@nokia.com>
Diffstat (limited to 'docs/manuals/index.rst')
| -rw-r--r-- | docs/manuals/index.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/manuals/index.rst b/docs/manuals/index.rst index 52d36096..05831b2b 100644 --- a/docs/manuals/index.rst +++ b/docs/manuals/index.rst @@ -10,3 +10,4 @@ Manuals :maxdepth: 2 .. include:: mark-host-down_manual.rst +.. include:: get-valid-server-state.rst |