diff --git a/doc/html/index.html b/doc/html/index.html index 13f2547..a6f291f 100644 --- a/doc/html/index.html +++ b/doc/html/index.html @@ -694,17 +694,6 @@ Start a discussion: