diff options
author | Tomi Juvonen <tomi.juvonen@nokia.com> | 2016-05-19 03:50:24 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@172.30.200.206> | 2016-05-19 03:50:24 +0000 |
commit | 725aae8ef5e0a3b7bc4f84d78c7cb9f84dcec57d (patch) | |
tree | 6f249068b8dd34c98f8e37d721daf8fca8c86fb4 /docs/manuals/index.rst | |
parent | 8e583dc3a3fc0392a5197803a598ab5734310d66 (diff) | |
parent | d133d967e8499c098cfb94e09c7669ce537919f1 (diff) |
Merge "Manual for get-valid-server-state"
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 |