diff options
author | 2017-10-27 13:42:19 +0000 | |
---|---|---|
committer | 2017-10-27 13:42:19 +0000 | |
commit | 533373a55422543bd78e016c2629da8d77e6fed0 (patch) | |
tree | e6e91f364db4e43ecb814b2d2747503267e3773c /docs/conf.py | |
parent | c51e612b982dfbaf965640292ec6d8c90baa49e6 (diff) | |
parent | abe5a34ebec963e5da86607ddf3e9df2210060df (diff) |
Merge "Remove http domain directive"
Diffstat (limited to 'docs/conf.py')
-rw-r--r-- | docs/conf.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 791569eb5..95c2a8c00 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -41,7 +41,6 @@ extensions = [ 'sphinxcontrib.seqdiag', 'sphinx.ext.ifconfig', 'sphinx.ext.todo', - 'sphinxcontrib.httpdomain', 'sphinxcontrib.plantuml', 'sphinxcontrib.swaggerdoc' ] |