diff --git a/doc/index.html b/doc/index.html index 2a88d0fb..74ae7717 100644 --- a/doc/index.html +++ b/doc/index.html @@ -222,14 +222,6 @@