diff options
author | 2018-12-12 10:36:42 -0800 | |
---|---|---|
committer | 2018-12-12 10:36:42 -0800 | |
commit | 86ff3fa5cfb5695f55cd514d8df0e99b81187cce (patch) | |
tree | 22c9f627f37ad905bee89782cb71b4a14e468d53 /Docs/source/conf.py | |
parent | 22dd9a7bdbfcf07fb3ad5d442011e4423cddbd6c (diff) | |
download | WarpX-86ff3fa5cfb5695f55cd514d8df0e99b81187cce.tar.gz WarpX-86ff3fa5cfb5695f55cd514d8df0e99b81187cce.tar.zst WarpX-86ff3fa5cfb5695f55cd514d8df0e99b81187cce.zip |
manually reverting back to last known working version of WarpX
Diffstat (limited to 'Docs/source/conf.py')
-rw-r--r-- | Docs/source/conf.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Docs/source/conf.py b/Docs/source/conf.py index 1d4b97c49..ce6f436d3 100644 --- a/Docs/source/conf.py +++ b/Docs/source/conf.py @@ -88,6 +88,8 @@ todo_include_todos = False # html_theme = 'sphinx_rtd_theme' +numfig = True + # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the # documentation. |