add back display_version

cvxgrp · Jan 9, 2022 · 413404d · 413404d
1 parent d542f3e
commit 413404d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/src/conf.py b/docs/src/conf.py
@@ -70,6 +70,7 @@ def setup(app):
 html_favicon = '_static/favicon.ico'
 html_theme_options = {
     'logo_only': True,
+    'display_version': True,
     #'github_banner': True,
     #'github_user': 'cvxgrp',
     #'github_repo': 'scs',