diff --git a/docs/contents.html b/docs/contents.html index 9f09df97374..693145c2e3c 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -63,8 +63,7 @@ a:visited { Developer Topics