diff --git a/docs/contents.html b/docs/contents.html index 33c2191ee00..6f556eed918 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -52,7 +52,6 @@ a:visited { User Topics