diff --git a/docs/contents.html b/docs/contents.html index cca20ecaae8..cf1661e4eac 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -69,7 +69,6 @@ a:visited {