diff --git a/doc/index.html b/doc/index.html index a9b30dd8..7e810f25 100644 --- a/doc/index.html +++ b/doc/index.html @@ -227,7 +227,7 @@ languages: