diff --git a/doc/index.html b/doc/index.html index bbf9401f..74cdf0c3 100644 --- a/doc/index.html +++ b/doc/index.html @@ -275,7 +275,6 @@