diff --git a/html/types.html b/html/types.html index fbc83b63..d4f12cee 100644 --- a/html/types.html +++ b/html/types.html @@ -226,5 +226,5 @@