diff --git a/docs_theme/index.html b/docs_theme/index.html index 7b60b1af5..e06b2d8f9 100644 --- a/docs_theme/index.html +++ b/docs_theme/index.html @@ -103,7 +103,7 @@