diff --git a/docs_theme/index.html b/docs_theme/index.html index 8e7f3d1f..94ae2006 100644 --- a/docs_theme/index.html +++ b/docs_theme/index.html @@ -103,7 +103,7 @@ License: https://www.gnu.org/licenses/gpl-3.0.html - +