diff options
author | 2019-05-22 20:14:49 +0000 | |
---|---|---|
committer | 2019-05-22 20:14:49 +0000 | |
commit | 35a262b8d53b01012405fe93786d5a7c85c4b641 (patch) | |
tree | ff8a2d4e5000e9a49864761c4b5cf3310b2c66c3 /docs/conf.py | |
parent | a80fa56118c751ac4d51b64cbb4a88adeca2771a (diff) | |
parent | 57d9d9c30df4011693854402abf4d5b0aafde02e (diff) |
Merge "Resync dublin branch" into dublin
Diffstat (limited to 'docs/conf.py')
-rw-r--r-- | docs/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 79b64b202..7b5bb4c11 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -69,7 +69,7 @@ exclude_patterns = [ pygments_style = 'sphinx' # If true, keep warnings as "system message" paragraphs in the built documents. -keep_warnings = True +keep_warnings = False # If true, `todo` and `todoList` produce output, else they produce nothing. todo_include_todos = True |