diff --git a/annotated.html b/annotated.html index a3ef5ad7b..18cbdea11 100644 --- a/annotated.html +++ b/annotated.html @@ -77,7 +77,8 @@ $(function() {