diff --git a/docs_theme/index.html b/docs_theme/index.html index 7a56cf9e..7b60b1af 100644 --- a/docs_theme/index.html +++ b/docs_theme/index.html @@ -107,7 +107,7 @@ License: https://www.gnu.org/licenses/gpl-3.0.html