diff --git a/annotated.html b/annotated.html index 15abd9e01..961e216f5 100644 --- a/annotated.html +++ b/annotated.html @@ -105,20 +105,20 @@ $(function() {