diff --git a/docs/contents.html b/docs/contents.html index c2ad6fff2e0..88b7bc7de82 100644 --- a/docs/contents.html +++ b/docs/contents.html @@ -37,8 +37,6 @@ a:visited { Download / Install
+