Jan Ulrich Hasecke
2019-12-10 6d74644ed17691e488383012ca072cd2f42cb92a
source/conf.py
@@ -44,6 +44,7 @@
# ones.
extensions = [
    'sphinx.ext.todo',
    'sphinx_rtd_theme',
    'sphinx.ext.graphviz'
]