diff --git a/annotated.html b/annotated.html index db6e7058c..bf2d0d8ef 100644 --- a/annotated.html +++ b/annotated.html @@ -88,7 +88,7 @@ $(function() {