diff --git a/docs/contents.html b/docs/contents.html index 1dca3a228d9..d15e6c1e336 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -39,7 +39,6 @@ a:visited {