diff --git a/doc/root.html b/doc/root.html index c7a40985c2e..c6afa74d09b 100644 --- a/doc/root.html +++ b/doc/root.html @@ -94,30 +94,3 @@ It's a joy to use.

- -