diff --git a/doc/annotated.html b/doc/annotated.html index 1c00097b7d..3043959a93 100644 --- a/doc/annotated.html +++ b/doc/annotated.html @@ -19,14 +19,8 @@